edu.toronto.cs.ctl
Class CTLEUiNode

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.CTLEUNode
                      extended by edu.toronto.cs.ctl.CTLEUiNode
All Implemented Interfaces:
CTLNode

public class CTLEUiNode
extends CTLEUNode

This is an existential strong until CTL node.


Field Summary
protected  int bound
           
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
protected CTLEUiNode(CTLNode phi, int i, CTLNode psi)
          Construct a bounded existential strong until CTL node using two other nodes as its children.
protected CTLEUiNode(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 EUi.
 int hashCode()
           
protected  void setI(int i)
          Sets the bound on the EUi.
 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

CTLEUiNode

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


CTLEUiNode

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

getI

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


setI

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


toString

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

accept

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

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