edu.toronto.cs.ctl
Class CTLEUiNode
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.CTLEUNode
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
|
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.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
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)
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