Package org.svvrl.goal.core.tran.tester
Class TransitionRelation
java.lang.Object
org.svvrl.goal.core.tran.tester.TransitionRelation
public class TransitionRelation
extends java.lang.Object
This class used to represent the Transition Relation of a FDS.
- Author:
- Wen-Chin Chan
-
Field Summary
-
Constructor Summary
Constructors Constructor Description TransitionRelation(SystemVariable sysVar)
Constructor. -
Method Summary
Modifier and Type Method Description LTL
getRelation()
Returns the relation.java.lang.String
toString()
-
Field Details
-
Constructor Details
-
TransitionRelation
Constructor.- Parameters:
sysVar
- a system variable
-
-
Method Details
-
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-
getRelation
Returns the relation.- Returns:
- the relation
-