lmf.formula.csp.node
Class ACspInstance
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PInstance
lmf.formula.csp.node.ACspInstance
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspInstance
- extends PInstance
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspInstance
public ACspInstance()
ACspInstance
public ACspInstance(TInstance _instance_,
TName _name_,
TDefs _defs_,
PModuleCall _moduleCall_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getInstance
public TInstance getInstance()
setInstance
public void setInstance(TInstance node)
getName
public TName getName()
setName
public void setName(TName node)
getDefs
public TDefs getDefs()
setDefs
public void setDefs(TDefs node)
getModuleCall
public PModuleCall getModuleCall()
setModuleCall
public void setModuleCall(PModuleCall node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object