Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
OrHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
NotHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
InequalityHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
ImplyHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
EqualityHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
BooleanConstantHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
AndHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
OrHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
NotHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
InequalityHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
ImplyHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
EqualityHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
BooleanConstantHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
AndHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
OrHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
NotHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
InequalityHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
ImplyHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
EqualityHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
BooleanConstantHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
AndHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
SuccessorHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
PredecessorHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
SuccessorHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
PredecessorHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
SuccessorHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
PredecessorHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
DotConstantHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
DotConstantHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
DotConstantHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
LessThanOrEqualHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
LessThanHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
GreaterThanOrEqualHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
GreaterThanHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
FiniteIntRangeConstantHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
LessThanOrEqualHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LessThanHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanOrEqualHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
FiniteIntRangeConstantHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LessThanOrEqualHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
LessThanHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanOrEqualHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
FiniteIntRangeConstantHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Method and Description |
---|---|
TermHLAPI |
HLMarkingHLAPI.getStructureHLAPI()
This accessor automatically encapsulate an element of the current object.
|
TermHLAPI |
HLAnnotationHLAPI.getStructureHLAPI()
This accessor automatically encapsulate an element of the current object.
|
TermHLAPI |
ConditionHLAPI.getStructureHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
HLMarkingHLAPI.setStructureHLAPI(TermHLAPI elem)
set Structure
|
void |
HLAnnotationHLAPI.setStructureHLAPI(TermHLAPI elem)
set Structure
|
void |
ConditionHLAPI.setStructureHLAPI(TermHLAPI elem)
set Structure
|
Constructor and Description |
---|
ConditionHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
TermHLAPI structure)
this constructor allows you to set all 'settable' values
excepted container.
|
ConditionHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
TermHLAPI structure,
TransitionHLAPI containerTransition)
this constructor allows you to set all 'settable' values, including container if any.
|
HLAnnotationHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
TermHLAPI structure)
this constructor allows you to set all 'settable' values
excepted container.
|
HLAnnotationHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
TermHLAPI structure,
ArcHLAPI containerArc)
this constructor allows you to set all 'settable' values, including container if any.
|
HLMarkingHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
TermHLAPI structure)
this constructor allows you to set all 'settable' values
excepted container.
|
HLMarkingHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
TermHLAPI structure,
PlaceHLAPI containerPlace)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
SubtractionHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
NumberConstantHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
MultiplicationHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
ModuloHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
LessThanOrEqualHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
LessThanHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
GreaterThanOrEqualHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
GreaterThanHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
DivisionHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
AdditionHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
SubtractionHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
NumberConstantHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
MultiplicationHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
ModuloHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LessThanOrEqualHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LessThanHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanOrEqualHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
DivisionHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
AdditionHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
SubtractionHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
NumberConstantHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
MultiplicationHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
ModuloHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
LessThanOrEqualHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
LessThanHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanOrEqualHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
DivisionHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
AdditionHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
SublistHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
MemberAtIndexHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
MakeListHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
LengthHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
EmptyListHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
ConcatenationHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
AppendHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
SublistHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
MemberAtIndexHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
MakeListHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LengthHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
EmptyListHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
ConcatenationHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
AppendHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
SublistHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
MemberAtIndexHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
MakeListHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
LengthHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
EmptyListHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
ConcatenationHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
AppendHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
SubtractHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
ScalarProductHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
NumberOfHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
EmptyHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
ContainsHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
CardinalityOfHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
CardinalityHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
AllHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
AddHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
SubtractHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
ScalarProductHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
NumberOfHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
EmptyHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
ContainsHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
CardinalityOfHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
CardinalityHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
AllHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
AddHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
SubtractHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
ScalarProductHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
NumberOfHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
EmptyHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
ContainsHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
CardinalityOfHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
CardinalityHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
AllHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
AddHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
PartitionElementHLAPI.getPartitionelementconstantsHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
PartitionElementOfHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
LessThanHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
GreaterThanHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
PartitionElementHLAPI.addPartitionelementconstantsHLAPI(TermHLAPI unit) |
void |
PartitionElementOfHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LessThanHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
PartitionElementHLAPI.removePartitionelementconstantsHLAPI(TermHLAPI unit) |
void |
PartitionElementOfHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
LessThanHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
SubstringHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
StringConstantHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
LessThanOrEqualHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
LessThanHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
LengthHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
GreaterThanOrEqualHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
GreaterThanHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
ConcatenationHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
AppendHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
SubstringHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
StringConstantHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LessThanOrEqualHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LessThanHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
LengthHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanOrEqualHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
ConcatenationHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
AppendHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
SubstringHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
StringConstantHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
LessThanOrEqualHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
LessThanHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
LengthHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanOrEqualHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
GreaterThanHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
ConcatenationHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
AppendHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
Modifier and Type | Interface and Description |
---|---|
interface |
OperatorHLAPI |
Modifier and Type | Method and Description |
---|---|
TermHLAPI |
NamedOperatorHLAPI.getDefHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<TermHLAPI> |
UserOperatorHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
TupleHLAPI.getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
List<TermHLAPI> |
OperatorHLAPI.getSubtermHLAPI()
This accessor automaticaly encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
UserOperatorHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
TupleHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
OperatorHLAPI.addSubtermHLAPI(TermHLAPI unit) |
void |
UserOperatorHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
TupleHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
OperatorHLAPI.removeSubtermHLAPI(TermHLAPI unit) |
void |
NamedOperatorHLAPI.setDefHLAPI(TermHLAPI elem)
set Def
|
Constructor and Description |
---|
NamedOperatorHLAPI(String id,
String name,
TermHLAPI def)
this constructor allows you to set all 'settable' values
excepted container.
|
NamedOperatorHLAPI(String id,
String name,
TermHLAPI def,
DeclarationsHLAPI containerDeclarations)
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.