lmf.formula.csp.node
Class ACspCheckExpr

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

public final class ACspCheckExpr
extends PCheckExpr


Constructor Summary
ACspCheckExpr()
           
ACspCheckExpr(PExpr _process_, TLCheck _lCheck_, PCheckCondition _checkCondition_, TRBracket _rBracket_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PCheckCondition getCheckCondition()
           
 TLCheck getLCheck()
           
 PExpr getProcess()
           
 TRBracket getRBracket()
           
 void setCheckCondition(PCheckCondition node)
           
 void setLCheck(TLCheck node)
           
 void setProcess(PExpr node)
           
 void setRBracket(TRBracket 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

ACspCheckExpr

public ACspCheckExpr()

ACspCheckExpr

public ACspCheckExpr(PExpr _process_,
                     TLCheck _lCheck_,
                     PCheckCondition _checkCondition_,
                     TRBracket _rBracket_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getProcess

public PExpr getProcess()

setProcess

public void setProcess(PExpr node)

getLCheck

public TLCheck getLCheck()

setLCheck

public void setLCheck(TLCheck node)

getCheckCondition

public PCheckCondition getCheckCondition()

setCheckCondition

public void setCheckCondition(PCheckCondition node)

getRBracket

public TRBracket getRBracket()

setRBracket

public void setRBracket(TRBracket node)

toString

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