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

Packages that use PSubstitution
lmf.formula.csp.node   
 

Uses of PSubstitution in lmf.formula.csp.node
 

Subclasses of PSubstitution in lmf.formula.csp.node
 class ACspSubstitution
           
 

Methods in lmf.formula.csp.node that return PSubstitution
 PSubstitution ACspLinkedSubstitutionList.getSubstitution()
           
 PSubstitution ACspBaseSubstitutionList.getSubstitution()
           
 

Methods in lmf.formula.csp.node with parameters of type PSubstitution
 void ACspLinkedSubstitutionList.setSubstitution(PSubstitution node)
           
 void ACspBaseSubstitutionList.setSubstitution(PSubstitution node)
           
 

Constructors in lmf.formula.csp.node with parameters of type PSubstitution
ACspBaseSubstitutionList(PSubstitution _substitution_)
           
ACspLinkedSubstitutionList(PSubstitution _substitution_, TComma _comma_, PSubstitutionList _next_)