edu.toronto.cs.ctl
Class CTLAUiNode

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLAbstractNode
      extended by edu.toronto.cs.ctl.CTLLeafNode
          extended by edu.toronto.cs.ctl.CTLUnaryNode
              extended by edu.toronto.cs.ctl.CTLBinaryNode
                  extended by edu.toronto.cs.ctl.CTLAUNode
                      extended by edu.toronto.cs.ctl.CTLAUiNode
All Implemented Interfaces:
CTLNode

public class CTLAUiNode
extends CTLAUNode

This is a universal strong until CTL node.


Field Summary
protected  int bound
           
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
protected CTLAUiNode(CTLNode phi, int i, CTLNode psi)
          Construct a bounded universal strong until CTL node using two other nodes as its children.
protected CTLAUiNode(CTLNode phi, int i, CTLNode psi, CTLNode[] fairness)
           
 
Method Summary
 java.lang.Object accept(CTLVisitor v, java.lang.Object s)
           
 boolean equals(java.lang.Object o)
          Overrides the Object's equals method.
 int getI()
          Gets the bound on the AUi.
 int hashCode()
           
protected  void setI(int i)
          Sets the bound on the AUi.
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.ctl.CTLBinaryNode
getLeft, getRight, setLeft, setRight
 
Methods inherited from class edu.toronto.cs.ctl.CTLUnaryNode
getFairness
 
Methods inherited from class edu.toronto.cs.ctl.CTLAbstractNode
af, af, ag, ag, and, ar, au, au, aw, ax, ef, eg, eg, eq, er, eu, eu, ew, ex, iff, impliedBy, implies, neg, objectHashCode, or, over, preEX, toString, under
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

bound

protected int bound
Constructor Detail

CTLAUiNode

protected CTLAUiNode(CTLNode phi,
                     int i,
                     CTLNode psi)
Construct a bounded universal strong until CTL node using two other nodes as its children.


CTLAUiNode

protected CTLAUiNode(CTLNode phi,
                     int i,
                     CTLNode psi,
                     CTLNode[] fairness)
Method Detail

getI

public int getI()
Gets the bound on the AUi.


setI

protected void setI(int i)
Sets the bound on the AUi.


toString

public java.lang.String toString()
Overrides:
toString in class CTLAUNode

accept

public java.lang.Object accept(CTLVisitor v,
                               java.lang.Object s)
Specified by:
accept in interface CTLNode
Overrides:
accept in class CTLAUNode

equals

public boolean equals(java.lang.Object o)
Description copied from class: CTLAbstractNode
Overrides the Object's equals method.

Overrides:
equals in class CTLBinaryNode

hashCode

public int hashCode()
Overrides:
hashCode in class CTLBinaryNode