edu.usc.alfa.xalfa.ast.automata
Classes 
AutomataBehavioralConstraintNode
AutomataConcreteBehaviorNode