lmf.formula.csp.node
Class ACspRefinementCheckExpr

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

public final class ACspRefinementCheckExpr
extends PCheckExpr


Constructor Summary
ACspRefinementCheckExpr()
           
ACspRefinementCheckExpr(TName _leftProcess_, TLBracket _lBracket_, PModel _model_, TDefs _defs_, TName _rightProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TDefs getDefs()
           
 TLBracket getLBracket()
           
 TName getLeftProcess()
           
 PModel getModel()
           
 TName getRightProcess()
           
 void setDefs(TDefs node)
           
 void setLBracket(TLBracket node)
           
 void setLeftProcess(TName node)
           
 void setModel(PModel node)
           
 void setRightProcess(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

ACspRefinementCheckExpr

public ACspRefinementCheckExpr()

ACspRefinementCheckExpr

public ACspRefinementCheckExpr(TName _leftProcess_,
                               TLBracket _lBracket_,
                               PModel _model_,
                               TDefs _defs_,
                               TName _rightProcess_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getLeftProcess

public TName getLeftProcess()

setLeftProcess

public void setLeftProcess(TName node)

getLBracket

public TLBracket getLBracket()

setLBracket

public void setLBracket(TLBracket node)

getModel

public PModel getModel()

setModel

public void setModel(PModel node)

getDefs

public TDefs getDefs()

setDefs

public void setDefs(TDefs node)

getRightProcess

public TName getRightProcess()

setRightProcess

public void setRightProcess(TName node)

toString

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