Package edu.williams.cs.ljil.finitizer

Interface Summary
ActionableStateListener Interface for listening to actionable state changes.
AppliedTransformation  
DiagramChangeListener  
InteractiveFrontend  
PendingTransformation  
Transformation  
TransformationListener  
 

Class Summary
Actionable Class implementing sub-actions for Issues and ResolutionActions
FSPBuilder Primary class for FSP building logic: keeps track of the Little-JIL program and resolution actions.
FSPPathologist The FSP Pathologist diagnoses a process (in terms of its readiness for an FSP model).
ProcessAnalysis This all-static ProcessAnalysis class does various useful analyses on a process
 

Exception Summary
TransformationFailure Indicates that the transformation has failed and the process or the FSPBuilder may be in an inconsistent state.