Modifier and Type | Method and Description |
---|---|
EmptyHLAPI |
BoolHLAPI.getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyHLAPI> |
OrHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
NotHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
InequalityHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
ImplyHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
EqualityHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
BooleanConstantHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
AndHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
BoolHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
Constructor and Description |
---|
BoolHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyHLAPI |
DotHLAPI.getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyHLAPI> |
DotConstantHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
DotHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
Constructor and Description |
---|
DotHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
EmptyHLAPI |
PositiveHLAPI.getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
EmptyHLAPI |
NaturalHLAPI.getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
EmptyHLAPI |
HLPNNumberHLAPI.getContainerEmptyHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
EmptyHLAPI |
HLIntegerHLAPI.getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyHLAPI> |
SubtractionHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
NumberConstantHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
MultiplicationHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
ModuloHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
LessThanOrEqualHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
LessThanHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
GreaterThanOrEqualHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
GreaterThanHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
DivisionHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
AdditionHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
PositiveHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
void |
NaturalHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
void |
HLPNNumberHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
void |
HLIntegerHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
Constructor and Description |
---|
HLIntegerHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
NaturalHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyHLAPI> |
SubtractHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
ScalarProductHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
NumberOfHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
EmptyHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
ContainsHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
CardinalityOfHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
CardinalityHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
AllHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
AddHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
boolean |
EmptyHLAPI.equals(EmptyHLAPI item) |
Modifier and Type | Method and Description |
---|---|
List<EmptyHLAPI> |
PartitionElementHLAPI.getPartitionelementconstants_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
PartitionElementOfHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
LessThanHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
GreaterThanHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
EmptyHLAPI |
UserSortHLAPI.getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
EmptyHLAPI |
SortHLAPI.getContainerEmptyHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
EmptyHLAPI |
ProductSortHLAPI.getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
EmptyHLAPI |
MultisetSortHLAPI.getContainerEmptyHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<EmptyHLAPI> |
UserOperatorHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
TupleHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<EmptyHLAPI> |
OperatorHLAPI.getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
Modifier and Type | Method and Description |
---|---|
void |
UserSortHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
void |
SortHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
void |
ProductSortHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
void |
MultisetSortHLAPI.setContainerEmptyHLAPI(EmptyHLAPI elem)
set ContainerEmpty
|
Constructor and Description |
---|
MultisetSortHLAPI(SortHLAPI basis,
EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(EmptyHLAPI containerEmpty)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
EmptyHLAPI containerEmpty)
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.