|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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_)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |