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

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_)