Package | Description |
---|---|
fr.lip6.move.pnml.hlpn.terms.hlapi |
Modifier and Type | Interface and Description |
---|---|
interface |
OperatorDeclHLAPI |
interface |
SortDeclHLAPI |
Modifier and Type | Method and Description |
---|---|
List<TermsDeclarationHLAPI> |
DeclarationsHLAPI.getDeclarationHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
DeclarationsHLAPI.addDeclarationHLAPI(TermsDeclarationHLAPI unit) |
void |
DeclarationsHLAPI.removeDeclarationHLAPI(TermsDeclarationHLAPI unit) |
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.