Package | Description |
---|---|
fr.lip6.move.pnml.hlpn.terms.hlapi |
Modifier and Type | Method and Description |
---|---|
OperatorDeclHLAPI |
UserOperatorHLAPI.getDeclarationHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
UserOperatorHLAPI.setDeclarationHLAPI(OperatorDeclHLAPI elem)
set Declaration
|
Constructor and Description |
---|
UserOperatorHLAPI(OperatorDeclHLAPI declaration)
This constructor give access to required stuff only (not container if any)
|
UserOperatorHLAPI(OperatorDeclHLAPI declaration,
ConditionHLAPI containerCondition)
This constructor give access to required stuff only (and container)
|
UserOperatorHLAPI(OperatorDeclHLAPI declaration,
HLAnnotationHLAPI containerHLAnnotation)
This constructor give access to required stuff only (and container)
|
UserOperatorHLAPI(OperatorDeclHLAPI declaration,
HLMarkingHLAPI containerHLMarking)
This constructor give access to required stuff only (and container)
|
UserOperatorHLAPI(OperatorDeclHLAPI declaration,
NamedOperatorHLAPI containerNamedOperator)
This constructor give access to required stuff only (and container)
|
UserOperatorHLAPI(OperatorDeclHLAPI declaration,
OperatorHLAPI containerOperator)
This constructor give access to required stuff only (and container)
|
UserOperatorHLAPI(OperatorDeclHLAPI declaration,
PartitionElementHLAPI containerPartitionElement)
This constructor give access to required stuff only (and container)
|
UserOperatorHLAPI(SortHLAPI sort,
SortHLAPI output,
OperatorDeclHLAPI declaration)
this constructor allows you to set all 'settable' values
excepted container.
|
UserOperatorHLAPI(SortHLAPI sort,
SortHLAPI output,
OperatorDeclHLAPI declaration,
ConditionHLAPI containerCondition)
this constructor allows you to set all 'settable' values, including container if any.
|
UserOperatorHLAPI(SortHLAPI sort,
SortHLAPI output,
OperatorDeclHLAPI declaration,
HLAnnotationHLAPI containerHLAnnotation)
this constructor allows you to set all 'settable' values, including container if any.
|
UserOperatorHLAPI(SortHLAPI sort,
SortHLAPI output,
OperatorDeclHLAPI declaration,
HLMarkingHLAPI containerHLMarking)
this constructor allows you to set all 'settable' values, including container if any.
|
UserOperatorHLAPI(SortHLAPI sort,
SortHLAPI output,
OperatorDeclHLAPI declaration,
NamedOperatorHLAPI containerNamedOperator)
this constructor allows you to set all 'settable' values, including container if any.
|
UserOperatorHLAPI(SortHLAPI sort,
SortHLAPI output,
OperatorDeclHLAPI declaration,
OperatorHLAPI containerOperator)
this constructor allows you to set all 'settable' values, including container if any.
|
UserOperatorHLAPI(SortHLAPI sort,
SortHLAPI output,
OperatorDeclHLAPI declaration,
PartitionElementHLAPI containerPartitionElement)
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.