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