lmf.formula.csp.node
Class ACspIfExpr

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

public final class ACspIfExpr
extends PIfExpr


Constructor Summary
ACspIfExpr()
           
ACspIfExpr(TIf _if_, PExpr _condition_, TThen _then_, PExpression _thenExpr_, TElse _else_, PExpression _elseExpr_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PExpr getCondition()
           
 TElse getElse()
           
 PExpression getElseExpr()
           
 TIf getIf()
           
 TThen getThen()
           
 PExpression getThenExpr()
           
 void setCondition(PExpr node)
           
 void setElse(TElse node)
           
 void setElseExpr(PExpression node)
           
 void setIf(TIf node)
           
 void setThen(TThen node)
           
 void setThenExpr(PExpression 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

ACspIfExpr

public ACspIfExpr()

ACspIfExpr

public ACspIfExpr(TIf _if_,
                  PExpr _condition_,
                  TThen _then_,
                  PExpression _thenExpr_,
                  TElse _else_,
                  PExpression _elseExpr_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getIf

public TIf getIf()

setIf

public void setIf(TIf node)

getCondition

public PExpr getCondition()

setCondition

public void setCondition(PExpr node)

getThen

public TThen getThen()

setThen

public void setThen(TThen node)

getThenExpr

public PExpression getThenExpr()

setThenExpr

public void setThenExpr(PExpression node)

getElse

public TElse getElse()

setElse

public void setElse(TElse node)

getElseExpr

public PExpression getElseExpr()

setElseExpr

public void setElseExpr(PExpression node)

toString

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