lmf.formula.csp.node
Class ACspCheckCondition

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

public final class ACspCheckCondition
extends PCheckCondition


Constructor Summary
ACspCheckCondition()
           
ACspCheckCondition(TName _name_, TFree _free_, PModelReference _modelReference_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TFree getFree()
           
 PModelReference getModelReference()
           
 TName getName()
           
 void setFree(TFree node)
           
 void setModelReference(PModelReference 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

ACspCheckCondition

public ACspCheckCondition()

ACspCheckCondition

public ACspCheckCondition(TName _name_,
                          TFree _free_,
                          PModelReference _modelReference_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getName

public TName getName()

setName

public void setName(TName node)

getFree

public TFree getFree()

setFree

public void setFree(TFree node)

getModelReference

public PModelReference getModelReference()

setModelReference

public void setModelReference(PModelReference node)

toString

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