|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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_)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |