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

Packages that use TInstance
lmf.formula.csp.analysis   
lmf.formula.csp.node   
 

Uses of TInstance in lmf.formula.csp.analysis
 

Methods in lmf.formula.csp.analysis with parameters of type TInstance
 void AnalysisAdapter.caseTInstance(TInstance node)
           
 void Analysis.caseTInstance(TInstance node)
           
 

Uses of TInstance in lmf.formula.csp.node
 

Methods in lmf.formula.csp.node that return TInstance
 TInstance ACspInstance.getInstance()
           
 

Methods in lmf.formula.csp.node with parameters of type TInstance
 void ACspInstance.setInstance(TInstance node)
           
 

Constructors in lmf.formula.csp.node with parameters of type TInstance
ACspInstance(TInstance _instance_, TName _name_, TDefs _defs_, PModuleCall _moduleCall_)