lmf.formula.csp.node
Class ACspBaseCheckExpr

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

public final class ACspBaseCheckExpr
extends PCheckExpr


Constructor Summary
ACspBaseCheckExpr()
           
ACspBaseCheckExpr(PExpr _expr_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PExpr getExpr()
           
 void setExpr(PExpr 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

ACspBaseCheckExpr

public ACspBaseCheckExpr()

ACspBaseCheckExpr

public ACspBaseCheckExpr(PExpr _expr_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getExpr

public PExpr getExpr()

setExpr

public void setExpr(PExpr node)

toString

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