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

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

Uses of TFree in lmf.formula.csp.analysis
 

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

Uses of TFree in lmf.formula.csp.node
 

Methods in lmf.formula.csp.node that return TFree
 TFree ACspCheckCondition.getFree()
           
 

Methods in lmf.formula.csp.node with parameters of type TFree
 void ACspCheckCondition.setFree(TFree node)
           
 

Constructors in lmf.formula.csp.node with parameters of type TFree
ACspCheckCondition(TName _name_, TFree _free_, PModelReference _modelReference_)