Package | Description |
---|---|
fr.lip6.move.pnml.hlpn.terms.hlapi |
Modifier and Type | Method and Description |
---|---|
SortDeclHLAPI |
UserSortHLAPI.getDeclarationHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
UserSortHLAPI.setDeclarationHLAPI(SortDeclHLAPI elem)
set Declaration
|
Constructor and Description |
---|
UserSortHLAPI(SortDeclHLAPI declaration)
this constructor allows you to set all 'settable' values
excepted container.
|
UserSortHLAPI(SortDeclHLAPI declaration,
AllHLAPI containerAll)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
HLPNListHLAPI containerList)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
MultisetSortHLAPI multi)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
NamedSortHLAPI containerNamedSort)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
PartitionHLAPI containerPartition)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
ProductSortHLAPI containerProductSort)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
TypeHLAPI containerType)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.