|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PModel | |
---|---|
lmf.formula.csp.node |
Uses of PModel in lmf.formula.csp.node |
---|
Subclasses of PModel in lmf.formula.csp.node | |
---|---|
class |
ACspModel
|
Methods in lmf.formula.csp.node that return PModel | |
---|---|
PModel |
ACspRefinementCheckExpr.getModel()
|
PModel |
ACspModelReference.getModel()
|
Methods in lmf.formula.csp.node with parameters of type PModel | |
---|---|
void |
ACspRefinementCheckExpr.setModel(PModel node)
|
void |
ACspModelReference.setModel(PModel node)
|
Constructors in lmf.formula.csp.node with parameters of type PModel | |
---|---|
ACspModelReference(TLBracket _lBracket_,
PModel _model_,
TRBracket _rBracket_)
|
|
ACspRefinementCheckExpr(TName _leftProcess_,
TLBracket _lBracket_,
PModel _model_,
TDefs _defs_,
TName _rightProcess_)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |