edu.toronto.cs.ctl
Class CTLPlaceholderNode

java.lang.Object
  extended by edu.toronto.cs.ctl.CTLAbstractNode
      extended by edu.toronto.cs.ctl.CTLLeafNode
          extended by edu.toronto.cs.ctl.CTLPlaceholderNode
All Implemented Interfaces:
CTLNode

public class CTLPlaceholderNode
extends CTLLeafNode


Field Summary
 
Fields inherited from class edu.toronto.cs.ctl.CTLAbstractNode
EMPTY_ARRAY
 
Constructor Summary
CTLPlaceholderNode()
           
CTLPlaceholderNode(java.lang.String _name, CTLAtomPropNode[] _props)
           
 
Method Summary
 java.lang.Object accept(CTLVisitor visitor, java.lang.Object o)
           
 boolean equals(CTLPlaceholderNode node)
           
 boolean equals(java.lang.Object o)
          Overrides the Object's equals method.
 java.lang.String getName()
           
 CTLAtomPropNode[] getProps()
           
 CTLAtomPropNode getProps(int i)
           
 MvSet[] getTerm(int i)
           
 MvSet[][] getTerms()
           
 int hashCode()
           
 boolean isNegated()
           
 void setNegated(boolean v)
           
 void setTerms(MvSet[][] v)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.ctl.CTLLeafNode
getLeft, getRight, setLeft, setRight
 
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, getFairness, 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
 

Constructor Detail

CTLPlaceholderNode

public CTLPlaceholderNode()

CTLPlaceholderNode

public CTLPlaceholderNode(java.lang.String _name,
                          CTLAtomPropNode[] _props)
Method Detail

isNegated

public boolean isNegated()

setNegated

public void setNegated(boolean v)

getProps

public CTLAtomPropNode[] getProps()

getProps

public CTLAtomPropNode getProps(int i)

getName

public java.lang.String getName()

setTerms

public void setTerms(MvSet[][] v)

getTerms

public MvSet[][] getTerms()

getTerm

public MvSet[] getTerm(int i)

toString

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

accept

public java.lang.Object accept(CTLVisitor visitor,
                               java.lang.Object o)
Specified by:
accept in interface CTLNode
Overrides:
accept in class CTLAbstractNode

equals

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

Overrides:
equals in class CTLAbstractNode

equals

public boolean equals(CTLPlaceholderNode node)

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object