Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
AnySortHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
AnySortHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
AnySortHLAPI(AnyObjectHLAPI anySortModel,
EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
AnySortHLAPI(EmptyListHLAPI containerEmptyList)
This constructor give access to required stuff only (and container)
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
BoolHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
OrHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
NotHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
InequalityHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
ImplyHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
EqualityHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
BooleanConstantHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
AndHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
BoolHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
BoolHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
CyclicEnumerationHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
SuccessorHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
PredecessorHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
CyclicEnumerationHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
CyclicEnumerationHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
DotHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
DotConstantHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
DotHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
DotHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
FiniteEnumerationHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
FiniteEnumerationHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
FiniteEnumerationHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
FiniteIntRangeHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
LessThanOrEqualHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
LessThanHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
GreaterThanHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
FiniteIntRangeConstantHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
FiniteIntRangeHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
FiniteIntRangeHLAPI(Long start,
Long end,
EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
PositiveHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
EmptyListHLAPI |
NaturalHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
EmptyListHLAPI |
HLPNNumberHLAPI.getContainerEmptyListHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
EmptyListHLAPI |
HLIntegerHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
SubtractionHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
NumberConstantHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
MultiplicationHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
ModuloHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
LessThanOrEqualHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
LessThanHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
GreaterThanHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
DivisionHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
AdditionHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
PositiveHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
void |
NaturalHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
void |
HLPNNumberHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
void |
HLIntegerHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
HLIntegerHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
NaturalHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
HLPNListHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
SublistHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
MemberAtIndexHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
MakeListHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
LengthHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
EmptyListHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
ConcatenationHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
AppendHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
boolean |
EmptyListHLAPI.equals(EmptyListHLAPI item) |
void |
HLPNListHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
HLPNListHLAPI(SortHLAPI basis,
EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
SubtractHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
ScalarProductHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
NumberOfHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
EmptyHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
ContainsHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
CardinalityOfHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
CardinalityHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
AllHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
AddHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
PartitionElementHLAPI.getPartitionelementconstants_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
PartitionElementOfHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
LessThanHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
GreaterThanHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
HLPNStringHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
SubstringHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
StringConstantHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
LessThanOrEqualHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
LessThanHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
LengthHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
GreaterThanHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
ConcatenationHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
AppendHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
HLPNStringHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
HLPNStringHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyListHLAPI |
UserSortHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
EmptyListHLAPI |
SortHLAPI.getContainerEmptyListHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
EmptyListHLAPI |
ProductSortHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
EmptyListHLAPI |
MultisetSortHLAPI.getContainerEmptyListHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyListHLAPI> |
UserOperatorHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
TupleHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<EmptyListHLAPI> |
OperatorHLAPI.getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
UserSortHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
void |
SortHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
void |
ProductSortHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
void |
MultisetSortHLAPI.setContainerEmptyListHLAPI(EmptyListHLAPI elem)
set ContainerEmptyList
|
Constructor and Description |
---|
MultisetSortHLAPI(SortHLAPI basis,
EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(EmptyListHLAPI containerEmptyList)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
EmptyListHLAPI containerEmptyList)
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.