Package korat.gui.viz.metamodel

Class Summary
AlloyAtom  
AlloyField Use FieldFactory to create object of this type.
AlloySig Use SigFactory to create object of this type.
AtomFactory  
FieldFactory  
SigFactory Factory for the AlloySig class.
 

Exception Summary
SigDoesNotExistException