lmf.formula.csp.node
Class ACspSubstitution
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PSubstitution
lmf.formula.csp.node.ACspSubstitution
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspSubstitution
- extends PSubstitution
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspSubstitution
public ACspSubstitution()
ACspSubstitution
public ACspSubstitution(PEvent _oldEvent_,
TExtract _extract_,
PEvent _newEvent_)
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