lmf.formula.csp.node
Class ACspAssert
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PAssert
lmf.formula.csp.node.ACspAssert
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspAssert
- extends PAssert
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspAssert
public ACspAssert()
ACspAssert
public ACspAssert(TNot _not_,
TAssert _assert_,
PCheckExpr _condition_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getNot
public TNot getNot()
setNot
public void setNot(TNot node)
getAssert
public TAssert getAssert()
setAssert
public void setAssert(TAssert node)
getCondition
public PCheckExpr getCondition()
setCondition
public void setCondition(PCheckExpr node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object