lmf.formula.csp.node
Class ACspInstance

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PInstance
          extended by lmf.formula.csp.node.ACspInstance
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ACspInstance
extends PInstance


Constructor Summary
ACspInstance()
           
ACspInstance(TInstance _instance_, TName _name_, TDefs _defs_, PModuleCall _moduleCall_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TDefs getDefs()
           
 TInstance getInstance()
           
 PModuleCall getModuleCall()
           
 TName getName()
           
 void setDefs(TDefs node)
           
 void setInstance(TInstance node)
           
 void setModuleCall(PModuleCall node)
           
 void setName(TName node)
           
 java.lang.String toString()
           
 
Methods inherited from class lmf.formula.csp.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ACspInstance

public ACspInstance()

ACspInstance

public ACspInstance(TInstance _instance_,
                    TName _name_,
                    TDefs _defs_,
                    PModuleCall _moduleCall_)
Method Detail

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