Uses of Class
lmf.formula.csp.node.PSubstitutionList

Packages that use PSubstitutionList
lmf.formula.csp.node   
 

Uses of PSubstitutionList in lmf.formula.csp.node
 

Subclasses of PSubstitutionList in lmf.formula.csp.node
 class ACspBaseSubstitutionList
           
 class ACspLinkedSubstitutionList
           
 

Methods in lmf.formula.csp.node that return PSubstitutionList
 PSubstitutionList ACspLinkedSubstitutionList.getNext()
           
 PSubstitutionList ACspRenamingProcess.getSubstitutionList()
           
 

Methods in lmf.formula.csp.node with parameters of type PSubstitutionList
 void ACspLinkedSubstitutionList.setNext(PSubstitutionList node)
           
 void ACspRenamingProcess.setSubstitutionList(PSubstitutionList node)
           
 

Constructors in lmf.formula.csp.node with parameters of type PSubstitutionList
ACspLinkedSubstitutionList(PSubstitution _substitution_, TComma _comma_, PSubstitutionList _next_)
           
ACspRenamingProcess(PProcess _process_, TLSubst _lSubst_, PSubstitutionList _substitutionList_, PConstraints _constraints_, TRSubst _rSubst_)