lmf.formula.csp.node
Class ACspLinkedSubstitutionList

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

public final class ACspLinkedSubstitutionList
extends PSubstitutionList


Constructor Summary
ACspLinkedSubstitutionList()
           
ACspLinkedSubstitutionList(PSubstitution _substitution_, TComma _comma_, PSubstitutionList _next_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TComma getComma()
           
 PSubstitutionList getNext()
           
 PSubstitution getSubstitution()
           
 void setComma(TComma node)
           
 void setNext(PSubstitutionList node)
           
 void setSubstitution(PSubstitution 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

ACspLinkedSubstitutionList

public ACspLinkedSubstitutionList()

ACspLinkedSubstitutionList

public ACspLinkedSubstitutionList(PSubstitution _substitution_,
                                  TComma _comma_,
                                  PSubstitutionList _next_)
Method Detail

clone

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

apply

public void apply(Switch sw)

getSubstitution

public PSubstitution getSubstitution()

setSubstitution

public void setSubstitution(PSubstitution node)

getComma

public TComma getComma()

setComma

public void setComma(TComma node)

getNext

public PSubstitutionList getNext()

setNext

public void setNext(PSubstitutionList node)

toString

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