lmf.formula.csp.node
Class ACspSubstitution

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

public final class ACspSubstitution
extends PSubstitution


Constructor Summary
ACspSubstitution()
           
ACspSubstitution(PEvent _oldEvent_, TExtract _extract_, PEvent _newEvent_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TExtract getExtract()
           
 PEvent getNewEvent()
           
 PEvent getOldEvent()
           
 void setExtract(TExtract node)
           
 void setNewEvent(PEvent node)
           
 void setOldEvent(PEvent 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

ACspSubstitution

public ACspSubstitution()

ACspSubstitution

public ACspSubstitution(PEvent _oldEvent_,
                        TExtract _extract_,
                        PEvent _newEvent_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getOldEvent

public PEvent getOldEvent()

setOldEvent

public void setOldEvent(PEvent node)

getExtract

public TExtract getExtract()

setExtract

public void setExtract(TExtract node)

getNewEvent

public PEvent getNewEvent()

setNewEvent

public void setNewEvent(PEvent node)

toString

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