Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
OrHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
NotHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
InequalityHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
ImplyHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
EqualityHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
BooleanConstantHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
AndHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
SuccessorHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
PredecessorHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
DotConstantHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
LessThanOrEqualHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
LessThanHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
GreaterThanHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
FiniteIntRangeConstantHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
NumberConstantHLAPI |
PositiveHLAPI.getContainerNumberConstantHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NumberConstantHLAPI |
NaturalHLAPI.getContainerNumberConstantHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NumberConstantHLAPI |
HLPNNumberHLAPI.getContainerNumberConstantHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
NumberConstantHLAPI |
HLIntegerHLAPI.getContainerNumberConstantHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
SubtractionHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
NumberConstantHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
MultiplicationHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
ModuloHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
LessThanOrEqualHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
LessThanHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
GreaterThanHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
DivisionHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
AdditionHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
boolean |
NumberConstantHLAPI.equals(NumberConstantHLAPI item) |
void |
PositiveHLAPI.setContainerNumberConstantHLAPI(NumberConstantHLAPI elem)
set ContainerNumberConstant
|
void |
NaturalHLAPI.setContainerNumberConstantHLAPI(NumberConstantHLAPI elem)
set ContainerNumberConstant
|
void |
HLPNNumberHLAPI.setContainerNumberConstantHLAPI(NumberConstantHLAPI elem)
set ContainerNumberConstant
|
void |
HLIntegerHLAPI.setContainerNumberConstantHLAPI(NumberConstantHLAPI elem)
set ContainerNumberConstant
|
Constructor and Description |
---|
HLIntegerHLAPI(NumberConstantHLAPI containerNumberConstant)
this constructor allows you to set all 'settable' values, including container if any.
|
NaturalHLAPI(NumberConstantHLAPI containerNumberConstant)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(NumberConstantHLAPI containerNumberConstant)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
SublistHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
MemberAtIndexHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
MakeListHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
LengthHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
EmptyListHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
ConcatenationHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
AppendHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
SubtractHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
ScalarProductHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
NumberOfHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
EmptyHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
ContainsHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
CardinalityOfHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
CardinalityHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
AllHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
AddHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
PartitionElementHLAPI.getPartitionelementconstants_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
PartitionElementOfHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
LessThanHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
GreaterThanHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
SubstringHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
StringConstantHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
LessThanOrEqualHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
LessThanHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
LengthHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
GreaterThanHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
ConcatenationHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
AppendHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
List<NumberConstantHLAPI> |
UserOperatorHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
TupleHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<NumberConstantHLAPI> |
OperatorHLAPI.getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.