edu.toronto.cs.ctl
Class CTLAUiNode
java.lang.Object
edu.toronto.cs.ctl.CTLAbstractNode
edu.toronto.cs.ctl.CTLLeafNode
edu.toronto.cs.ctl.CTLUnaryNode
edu.toronto.cs.ctl.CTLBinaryNode
edu.toronto.cs.ctl.CTLAUNode
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
|
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.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 |
bound
protected int bound
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)
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