Uses of Package
org.svvrl.goal.core.tran.tester

Packages that use org.svvrl.goal.core.tran.tester

Package	Description
org.svvrl.goal.core.tran.tester
org.svvrl.goal.gui.pref

Classes in org.svvrl.goal.core.tran.tester used by org.svvrl.goal.core.tran.tester

Class	Description
FairnessRequirement	This class represents the fairness requirement of an FDS.
FDS	Represents Fair Discrete System.
FDSState	State of Fair Discrete System.
FDSTransition	Transition of Fair Discrete System.
InitialCondition	The initial condition of a Fair Discrete System.
SystemVariable	This class stands for System Variable.
TransitionRelation	This class used to represent the Transition Relation of a FDS.

Classes in org.svvrl.goal.core.tran.tester used by org.svvrl.goal.gui.pref

Class	Description
TemporalTesterOptions	This class contains several options for the Tableau translators.