edu.usc.alfa.xalfa.ast.alloy
Classes 
AlloyDataConstraintNode
AlloyDefinitionNode
AlloyStructuralConstraintNode
AlloyTopologyConstraintNode