Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
AnySortHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
AnySortHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
AnySortHLAPI(AnyObjectHLAPI anySortModel,
MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
AnySortHLAPI(MakeListHLAPI containerMakeList)
This constructor give access to required stuff only (and container)
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
BoolHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
OrHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
NotHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
InequalityHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
ImplyHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
EqualityHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
BooleanConstantHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
AndHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
BoolHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
BoolHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
CyclicEnumerationHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
SuccessorHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
PredecessorHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
CyclicEnumerationHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
CyclicEnumerationHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
DotHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
DotConstantHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
DotHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
DotHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
FiniteEnumerationHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
FiniteEnumerationHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
FiniteEnumerationHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
FiniteIntRangeHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
LessThanOrEqualHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
LessThanHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
GreaterThanHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
FiniteIntRangeConstantHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
FiniteIntRangeHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
FiniteIntRangeHLAPI(Long start,
Long end,
MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
PositiveHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
MakeListHLAPI |
NaturalHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
MakeListHLAPI |
HLPNNumberHLAPI.getContainerMakeListHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
MakeListHLAPI |
HLIntegerHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
SubtractionHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
NumberConstantHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
MultiplicationHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
ModuloHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
LessThanOrEqualHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
LessThanHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
GreaterThanHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
DivisionHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
AdditionHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
PositiveHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
void |
NaturalHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
void |
HLPNNumberHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
void |
HLIntegerHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
HLIntegerHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
NaturalHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
HLPNListHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
SublistHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
MemberAtIndexHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
MakeListHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
LengthHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
EmptyListHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
ConcatenationHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
AppendHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
boolean |
MakeListHLAPI.equals(MakeListHLAPI item) |
void |
HLPNListHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
HLPNListHLAPI(SortHLAPI basis,
MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
SubtractHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
ScalarProductHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
NumberOfHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
EmptyHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
ContainsHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
CardinalityOfHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
CardinalityHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
AllHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
AddHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
PartitionElementHLAPI.getPartitionelementconstants_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
PartitionElementOfHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
LessThanHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
GreaterThanHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
HLPNStringHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
SubstringHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
StringConstantHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
LessThanOrEqualHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
LessThanHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
LengthHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
GreaterThanHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
ConcatenationHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
AppendHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
HLPNStringHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
HLPNStringHLAPI(MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
MakeListHLAPI |
UserSortHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
MakeListHLAPI |
SortHLAPI.getContainerMakeListHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
MakeListHLAPI |
ProductSortHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
MakeListHLAPI |
MultisetSortHLAPI.getContainerMakeListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<MakeListHLAPI> |
UserOperatorHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
TupleHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MakeListHLAPI> |
OperatorHLAPI.getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
UserSortHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
void |
SortHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
void |
ProductSortHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
void |
MultisetSortHLAPI.setContainerMakeListHLAPI(MakeListHLAPI elem)
set ContainerMakeList
|
Constructor and Description |
---|
MultisetSortHLAPI(SortHLAPI basis,
MakeListHLAPI containerMakeList)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(MakeListHLAPI containerMakeList)
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.
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.