lmf.formula.csp.node
Class ACspCallExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PCallExpr
lmf.formula.csp.node.ACspCallExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspCallExpr
- extends PCallExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspCallExpr
public ACspCallExpr()
ACspCallExpr
public ACspCallExpr(PValue _value_,
PArguments _arguments_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getValue
public PValue getValue()
setValue
public void setValue(PValue node)
getArguments
public PArguments getArguments()
setArguments
public void setArguments(PArguments node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object