lmf.formula.csp.node
Class ACspProjection

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

public final class ACspProjection
extends PProjection


Constructor Summary
ACspProjection()
           
ACspProjection(TDot _dot_, PCallExpr _callExpr_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 PCallExpr getCallExpr()
           
 TDot getDot()
           
 void setCallExpr(PCallExpr node)
           
 void setDot(TDot 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

ACspProjection

public ACspProjection()

ACspProjection

public ACspProjection(TDot _dot_,
                      PCallExpr _callExpr_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getDot

public TDot getDot()

setDot

public void setDot(TDot node)

getCallExpr

public PCallExpr getCallExpr()

setCallExpr

public void setCallExpr(PCallExpr node)

toString

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