edu.toronto.cs.ctl
Class CTLFactory
java.lang.Object
edu.toronto.cs.ctl.CTLFactory
public class CTLFactory
- extends java.lang.Object
Method Summary |
static CTLNode |
alterChildren(CTLNode psi,
CTLNode left,
CTLNode right)
Creates a CTL node that is the same type as the original and
has the specified children. |
static CTLAFNode |
createCTLAFNode(CTLNode right)
|
static CTLAFNode |
createCTLAFNode(CTLNode right,
CTLNode[] fairness)
|
static CTLAGNode |
createCTLAGNode(CTLNode right)
|
static CTLAGNode |
createCTLAGNode(CTLNode right,
CTLNode[] fairness)
|
static CTLAndNode |
createCTLAndNode(CTLNode left,
CTLNode right)
|
static CTLARNode |
createCTLARNode(CTLNode left,
CTLNode right)
|
static CTLAtomPropNode |
createCTLAtomPropNode(java.lang.String name)
|
static CTLAUiNode |
createCTLAUiNode(CTLNode left,
int i,
CTLNode right)
|
static CTLAUiNode |
createCTLAUiNode(CTLNode left,
int i,
CTLNode right,
CTLNode[] fairness)
|
static CTLAUNode |
createCTLAUNode(CTLNode left,
CTLNode right)
|
static CTLAUNode |
createCTLAUNode(CTLNode left,
CTLNode right,
CTLNode[] fairness)
|
static CTLAWNode |
createCTLAWNode(CTLNode left,
CTLNode right)
|
static CTLAWNode |
createCTLAWNode(CTLNode left,
CTLNode right,
CTLNode[] fairness)
|
static CTLAXNode |
createCTLAXNode(CTLNode right)
|
static CTLAXNode |
createCTLAXNode(CTLNode right,
CTLNode[] fairness)
|
static CTLConstantNode |
createCTLConstantNode(AlgebraValue v)
|
static CTLEFNode |
createCTLEFNode(CTLNode right)
|
static CTLEFNode |
createCTLEFNode(CTLNode right,
CTLNode[] fairness)
|
static CTLEGNode |
createCTLEGNode(CTLNode right)
|
static CTLEGNode |
createCTLEGNode(CTLNode right,
CTLNode[] fairness)
|
static CTLEqualsNode |
createCTLEqualsNode(CTLNode left,
CTLNode right)
|
static CTLERNode |
createCTLERNode(CTLNode left,
CTLNode right)
|
static CTLEUiNode |
createCTLEUiNode(CTLNode left,
int i,
CTLNode right)
|
static CTLEUiNode |
createCTLEUiNode(CTLNode left,
int i,
CTLNode right,
CTLNode[] fairness)
|
static CTLEUNode |
createCTLEUNode(CTLNode left,
CTLNode right)
|
static CTLEUNode |
createCTLEUNode(CTLNode left,
CTLNode right,
CTLNode[] fairness)
|
static CTLEWNode |
createCTLEWNode(CTLNode left,
CTLNode right)
|
static CTLEWNode |
createCTLEWNode(CTLNode left,
CTLNode right,
CTLNode[] fairness)
|
static CTLEXNode |
createCTLEXNode(CTLNode right)
|
static CTLEXNode |
createCTLEXNode(CTLNode right,
CTLNode[] fairness)
|
static CTLIffNode |
createCTLIffNode(CTLNode left,
CTLNode right)
|
static CTLImplNode |
createCTLImplNode(CTLNode left,
CTLNode right)
|
static CTLMvSetNode |
createCTLMvSetNode(MvSet mvset)
|
static CTLNegNode |
createCTLNegNode(CTLNode right)
|
static CTLOrNode |
createCTLOrNode(CTLNode left,
CTLNode right)
|
static CTLOverNode |
createCTLOverNode(CTLNode left,
CTLNode right)
|
static CTLPlaceholderNode |
createCTLPlaceholderNode(java.lang.String name,
CTLAtomPropNode[] props)
|
static CTLPreEXNode |
createCTLPreEXNode(CTLNode right)
|
static CTLTransitionNode |
createCTLTransitionNode(MvSet mvset)
|
static CTLUnderNode |
createCTLUnderNode(CTLNode left,
CTLNode right)
|
static void |
removeCTLNode(CTLNode ctl)
|
static void |
renew()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CTLFactory
public CTLFactory()
createCTLEXNode
public static CTLEXNode createCTLEXNode(CTLNode right)
createCTLAXNode
public static CTLAXNode createCTLAXNode(CTLNode right)
createCTLEFNode
public static CTLEFNode createCTLEFNode(CTLNode right)
createCTLAFNode
public static CTLAFNode createCTLAFNode(CTLNode right)
createCTLEUNode
public static CTLEUNode createCTLEUNode(CTLNode left,
CTLNode right)
createCTLAUNode
public static CTLAUNode createCTLAUNode(CTLNode left,
CTLNode right)
createCTLEUiNode
public static CTLEUiNode createCTLEUiNode(CTLNode left,
int i,
CTLNode right)
createCTLAUiNode
public static CTLAUiNode createCTLAUiNode(CTLNode left,
int i,
CTLNode right)
createCTLEGNode
public static CTLEGNode createCTLEGNode(CTLNode right)
createCTLAGNode
public static CTLAGNode createCTLAGNode(CTLNode right)
createCTLAWNode
public static CTLAWNode createCTLAWNode(CTLNode left,
CTLNode right)
createCTLEWNode
public static CTLEWNode createCTLEWNode(CTLNode left,
CTLNode right)
createCTLAndNode
public static CTLAndNode createCTLAndNode(CTLNode left,
CTLNode right)
createCTLOrNode
public static CTLOrNode createCTLOrNode(CTLNode left,
CTLNode right)
createCTLNegNode
public static CTLNegNode createCTLNegNode(CTLNode right)
createCTLImplNode
public static CTLImplNode createCTLImplNode(CTLNode left,
CTLNode right)
createCTLIffNode
public static CTLIffNode createCTLIffNode(CTLNode left,
CTLNode right)
createCTLEXNode
public static CTLEXNode createCTLEXNode(CTLNode right,
CTLNode[] fairness)
createCTLAXNode
public static CTLAXNode createCTLAXNode(CTLNode right,
CTLNode[] fairness)
createCTLPreEXNode
public static CTLPreEXNode createCTLPreEXNode(CTLNode right)
createCTLEFNode
public static CTLEFNode createCTLEFNode(CTLNode right,
CTLNode[] fairness)
createCTLAFNode
public static CTLAFNode createCTLAFNode(CTLNode right,
CTLNode[] fairness)
createCTLEUNode
public static CTLEUNode createCTLEUNode(CTLNode left,
CTLNode right,
CTLNode[] fairness)
createCTLAUNode
public static CTLAUNode createCTLAUNode(CTLNode left,
CTLNode right,
CTLNode[] fairness)
createCTLEUiNode
public static CTLEUiNode createCTLEUiNode(CTLNode left,
int i,
CTLNode right,
CTLNode[] fairness)
createCTLAUiNode
public static CTLAUiNode createCTLAUiNode(CTLNode left,
int i,
CTLNode right,
CTLNode[] fairness)
createCTLEGNode
public static CTLEGNode createCTLEGNode(CTLNode right,
CTLNode[] fairness)
createCTLAGNode
public static CTLAGNode createCTLAGNode(CTLNode right,
CTLNode[] fairness)
createCTLAtomPropNode
public static CTLAtomPropNode createCTLAtomPropNode(java.lang.String name)
createCTLPlaceholderNode
public static CTLPlaceholderNode createCTLPlaceholderNode(java.lang.String name,
CTLAtomPropNode[] props)
createCTLARNode
public static CTLARNode createCTLARNode(CTLNode left,
CTLNode right)
createCTLERNode
public static CTLERNode createCTLERNode(CTLNode left,
CTLNode right)
createCTLConstantNode
public static CTLConstantNode createCTLConstantNode(AlgebraValue v)
createCTLEqualsNode
public static CTLEqualsNode createCTLEqualsNode(CTLNode left,
CTLNode right)
createCTLUnderNode
public static CTLUnderNode createCTLUnderNode(CTLNode left,
CTLNode right)
createCTLOverNode
public static CTLOverNode createCTLOverNode(CTLNode left,
CTLNode right)
createCTLMvSetNode
public static CTLMvSetNode createCTLMvSetNode(MvSet mvset)
createCTLTransitionNode
public static CTLTransitionNode createCTLTransitionNode(MvSet mvset)
createCTLAWNode
public static CTLAWNode createCTLAWNode(CTLNode left,
CTLNode right,
CTLNode[] fairness)
createCTLEWNode
public static CTLEWNode createCTLEWNode(CTLNode left,
CTLNode right,
CTLNode[] fairness)
removeCTLNode
public static void removeCTLNode(CTLNode ctl)
renew
public static void renew()
alterChildren
public static CTLNode alterChildren(CTLNode psi,
CTLNode left,
CTLNode right)
- Creates a CTL node that is the same type as the original and
has the specified children.