Modifier and Type | Class and Description |
---|---|
class |
AndHLAPI |
class |
BooleanConstantHLAPI |
class |
EqualityHLAPI |
class |
ImplyHLAPI |
class |
InequalityHLAPI |
class |
NotHLAPI |
class |
OrHLAPI |
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 | Class and Description |
---|---|
class |
PredecessorHLAPI |
class |
SuccessorHLAPI |
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 | Class and Description |
---|---|
class |
DotConstantHLAPI |
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 | Class and Description |
---|---|
class |
FiniteIntRangeConstantHLAPI |
class |
GreaterThanHLAPI |
class |
GreaterThanOrEqualHLAPI |
class |
LessThanHLAPI |
class |
LessThanOrEqualHLAPI |
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 | Class and Description |
---|---|
class |
AdditionHLAPI |
class |
DivisionHLAPI |
class |
ModuloHLAPI |
class |
MultiplicationHLAPI |
class |
NumberConstantHLAPI |
class |
SubtractionHLAPI |
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 | Class and Description |
---|---|
class |
AddHLAPI |
class |
AllHLAPI |
class |
CardinalityHLAPI |
class |
CardinalityOfHLAPI |
class |
ContainsHLAPI |
class |
EmptyHLAPI |
class |
NumberOfHLAPI |
class |
ScalarProductHLAPI |
class |
SubtractHLAPI |
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 | Class and Description |
---|---|
class |
PartitionElementOfHLAPI |
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 | Interface and Description |
---|---|
interface |
OperatorHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
TupleHLAPI |
class |
UserOperatorHLAPI |
class |
VariableHLAPI |
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.