org.topbraid.spin.arq
Classes 
AbstractElementVisitor
AbstractTemplateVisitor
ARQ2SPIN
SPINARQFunction