edu.toronto.cs.ctl
Class CTLFactory

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLFactory

public class CTLFactory
extends java.lang.Object


Constructor Summary
CTLFactory()
           
 
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
 

Constructor Detail

CTLFactory

public CTLFactory()
Method Detail

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.