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

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

Uses of TDefs in lmf.formula.csp.analysis
 

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

Uses of TDefs in lmf.formula.csp.node
 

Methods in lmf.formula.csp.node that return TDefs
 TDefs ACspSubtypeDefinition.getDefs()
           
 TDefs ACspRefinementCheckExpr.getDefs()
           
 TDefs ACspNametypeDefinition.getDefs()
           
 TDefs ACspInstance.getDefs()
           
 TDefs ACspDatatypeDefinition.getDefs()
           
 TDefs ACspAbstractDefinition.getDefs()
           
 TDefs ACspProcessDefinition.getDefs()
           
 TDefs ACspFunctionDefinition.getDefs()
           
 TDefs ACspConstantDefinition.getDefs()
           
 

Methods in lmf.formula.csp.node with parameters of type TDefs
 void ACspSubtypeDefinition.setDefs(TDefs node)
           
 void ACspRefinementCheckExpr.setDefs(TDefs node)
           
 void ACspNametypeDefinition.setDefs(TDefs node)
           
 void ACspInstance.setDefs(TDefs node)
           
 void ACspDatatypeDefinition.setDefs(TDefs node)
           
 void ACspAbstractDefinition.setDefs(TDefs node)
           
 void ACspProcessDefinition.setDefs(TDefs node)
           
 void ACspFunctionDefinition.setDefs(TDefs node)
           
 void ACspConstantDefinition.setDefs(TDefs node)
           
 

Constructors in lmf.formula.csp.node with parameters of type TDefs
ACspAbstractDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
ACspConstantDefinition(TName _name_, TDefs _defs_, PExpression _expression_)
           
ACspDatatypeDefinition(TDatatype _datatype_, TName _name_, TDefs _defs_, PBranchList _branchList_)
           
ACspFunctionDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
ACspInstance(TInstance _instance_, TName _name_, TDefs _defs_, PModuleCall _moduleCall_)
           
ACspNametypeDefinition(TNametype _nametype_, TName _name_, TDefs _defs_, PCompositeType _cspType_)
           
ACspProcessDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
ACspRefinementCheckExpr(TName _leftProcess_, TLBracket _lBracket_, PModel _model_, TDefs _defs_, TName _rightProcess_)
           
ACspSubtypeDefinition(TSubtype _subtype_, TName _name_, TDefs _defs_, PBranchList _branchList_)