InequalityHLAPI (PNML Framework Releng 2.2.11 API)

java.lang.Object
- fr.lip6.move.pnml.symmetricnet.booleans.hlapi.InequalityHLAPI

All Implemented Interfaces:: HLAPIClass, OperatorHLAPI, TermHLAPI

public class InequalityHLAPI
extends Object
implements HLAPIClass, TermHLAPI, OperatorHLAPI

Constructor Summary

Constructors
Constructor and Description
`InequalityHLAPI(ConditionHLAPI containerCondition)` This constructor give access to required stuff only (and container)
`InequalityHLAPI(HLAnnotationHLAPI containerHLAnnotation)` This constructor give access to required stuff only (and container)
`InequalityHLAPI(HLMarkingHLAPI containerHLMarking)` This constructor give access to required stuff only (and container)
`InequalityHLAPI(Inequality lowLevelAPI)` This constructor encapsulate a low level API object in HLAPI.
`InequalityHLAPI(NamedOperatorHLAPI containerNamedOperator)` This constructor give access to required stuff only (and container)
`InequalityHLAPI(OperatorHLAPI containerOperator)` This constructor give access to required stuff only (and container)
`InequalityHLAPI(PartitionElementHLAPI containerPartitionElement)` This constructor give access to required stuff only (and container)
`InequalityHLAPI(SortHLAPI sort, SortHLAPI output)` this constructor allows you to set all 'settable' values excepted container.
`InequalityHLAPI(SortHLAPI sort, SortHLAPI output, ConditionHLAPI containerCondition)` this constructor allows you to set all 'settable' values, including container if any.
`InequalityHLAPI(SortHLAPI sort, SortHLAPI output, HLAnnotationHLAPI containerHLAnnotation)` this constructor allows you to set all 'settable' values, including container if any.
`InequalityHLAPI(SortHLAPI sort, SortHLAPI output, HLMarkingHLAPI containerHLMarking)` this constructor allows you to set all 'settable' values, including container if any.
`InequalityHLAPI(SortHLAPI sort, SortHLAPI output, NamedOperatorHLAPI containerNamedOperator)` this constructor allows you to set all 'settable' values, including container if any.
`InequalityHLAPI(SortHLAPI sort, SortHLAPI output, OperatorHLAPI containerOperator)` this constructor allows you to set all 'settable' values, including container if any.
`InequalityHLAPI(SortHLAPI sort, SortHLAPI output, PartitionElementHLAPI containerPartitionElement)` this constructor allows you to set all 'settable' values, including container if any.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addSubtermHLAPI(TermHLAPI unit)`
`boolean`	`equals(InequalityHLAPI item)`
`void`	`fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr)` creates an object from the xml nodes.
`Inequality`	`getContainedItem()` Return encapsulated object
`Condition`	`getContainerCondition()` Return the encapsulate Low Level API object.
`ConditionHLAPI`	`getContainerConditionHLAPI()` This accessor automatically encapsulate an element of the current object.
`HLAnnotation`	`getContainerHLAnnotation()` Return the encapsulate Low Level API object.
`HLAnnotationHLAPI`	`getContainerHLAnnotationHLAPI()` This accessor automatically encapsulate an element of the current object.
`HLMarking`	`getContainerHLMarking()` Return the encapsulate Low Level API object.
`HLMarkingHLAPI`	`getContainerHLMarkingHLAPI()` This accessor automatically encapsulate an element of the current object.
`NamedOperator`	`getContainerNamedOperator()` Return the encapsulate Low Level API object.
`NamedOperatorHLAPI`	`getContainerNamedOperatorHLAPI()` This accessor automatically encapsulate an element of the current object.
`Operator`	`getContainerOperator()` Return the encapsulate Low Level API object.
`OperatorHLAPI`	`getContainerOperatorHLAPI()` This accessor automatically encapsulate an element of the current object.
`PartitionElement`	`getContainerPartitionElement()` Return the encapsulate Low Level API object.
`PartitionElementHLAPI`	`getContainerPartitionElementHLAPI()` This accessor automatically encapsulate an element of the current object.
`List<BoolHLAPI>`	`getInput_booleans_BoolHLAPI()` This accessor return a list of encapsulated subelement, only of BoolHLAPI kind.
`List<CyclicEnumerationHLAPI>`	`getInput_cyclicEnumerations_CyclicEnumerationHLAPI()` This accessor return a list of encapsulated subelement, only of CyclicEnumerationHLAPI kind.
`List<DotHLAPI>`	`getInput_dots_DotHLAPI()` This accessor return a list of encapsulated subelement, only of DotHLAPI kind.
`List<FiniteEnumerationHLAPI>`	`getInput_finiteEnumerations_FiniteEnumerationHLAPI()` This accessor return a list of encapsulated subelement, only of FiniteEnumerationHLAPI kind.
`List<FiniteIntRangeHLAPI>`	`getInput_finiteIntRanges_FiniteIntRangeHLAPI()` This accessor return a list of encapsulated subelement, only of FiniteIntRangeHLAPI kind.
`List<HLIntegerHLAPI>`	`getInput_integers_HLIntegerHLAPI()` This accessor return a list of encapsulated subelement, only of HLIntegerHLAPI kind.
`List<NaturalHLAPI>`	`getInput_integers_NaturalHLAPI()` This accessor return a list of encapsulated subelement, only of NaturalHLAPI kind.
`List<PositiveHLAPI>`	`getInput_integers_PositiveHLAPI()` This accessor return a list of encapsulated subelement, only of PositiveHLAPI kind.
`List<MultisetSortHLAPI>`	`getInput_terms_MultisetSortHLAPI()` This accessor return a list of encapsulated subelement, only of MultisetSortHLAPI kind.
`List<ProductSortHLAPI>`	`getInput_terms_ProductSortHLAPI()` This accessor return a list of encapsulated subelement, only of ProductSortHLAPI kind.
`List<UserSortHLAPI>`	`getInput_terms_UserSortHLAPI()` This accessor return a list of encapsulated subelement, only of UserSortHLAPI kind.
`List<Sort>`	`getInput()` Return the encapsulate Low Level API object.
`List<SortHLAPI>`	`getInputHLAPI()` This accessor automatically encapsulate all elements of the selected sublist.
`Sort`	`getOutput()` Return the encapsulate Low Level API object.
`SortHLAPI`	`getOutputHLAPI()` This accessor automatically encapsulate an element of the current object.
`Sort`	`getSort()` Return the encapsulate Low Level API object.
`SortHLAPI`	`getSortHLAPI()` This accessor automatically encapsulate an element of the current object.
`List<AndHLAPI>`	`getSubterm_booleans_AndHLAPI()` This accessor return a list of encapsulated subelement, only of AndHLAPI kind.
`List<BooleanConstantHLAPI>`	`getSubterm_booleans_BooleanConstantHLAPI()` This accessor return a list of encapsulated subelement, only of BooleanConstantHLAPI kind.
`List<EqualityHLAPI>`	`getSubterm_booleans_EqualityHLAPI()` This accessor return a list of encapsulated subelement, only of EqualityHLAPI kind.
`List<ImplyHLAPI>`	`getSubterm_booleans_ImplyHLAPI()` This accessor return a list of encapsulated subelement, only of ImplyHLAPI kind.
`List<InequalityHLAPI>`	`getSubterm_booleans_InequalityHLAPI()` This accessor return a list of encapsulated subelement, only of InequalityHLAPI kind.
`List<NotHLAPI>`	`getSubterm_booleans_NotHLAPI()` This accessor return a list of encapsulated subelement, only of NotHLAPI kind.
`List<OrHLAPI>`	`getSubterm_booleans_OrHLAPI()` This accessor return a list of encapsulated subelement, only of OrHLAPI kind.
`List<PredecessorHLAPI>`	`getSubterm_cyclicEnumerations_PredecessorHLAPI()` This accessor return a list of encapsulated subelement, only of PredecessorHLAPI kind.
`List<SuccessorHLAPI>`	`getSubterm_cyclicEnumerations_SuccessorHLAPI()` This accessor return a list of encapsulated subelement, only of SuccessorHLAPI kind.
`List<DotConstantHLAPI>`	`getSubterm_dots_DotConstantHLAPI()` This accessor return a list of encapsulated subelement, only of DotConstantHLAPI kind.
`List<FiniteIntRangeConstantHLAPI>`	`getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI()` This accessor return a list of encapsulated subelement, only of FiniteIntRangeConstantHLAPI kind.
`List<GreaterThanHLAPI>`	`getSubterm_finiteIntRanges_GreaterThanHLAPI()` This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
`List<GreaterThanOrEqualHLAPI>`	`getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI()` This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind.
`List<LessThanHLAPI>`	`getSubterm_finiteIntRanges_LessThanHLAPI()` This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
`List<LessThanOrEqualHLAPI>`	`getSubterm_finiteIntRanges_LessThanOrEqualHLAPI()` This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind.
`List<AdditionHLAPI>`	`getSubterm_integers_AdditionHLAPI()` This accessor return a list of encapsulated subelement, only of AdditionHLAPI kind.
`List<DivisionHLAPI>`	`getSubterm_integers_DivisionHLAPI()` This accessor return a list of encapsulated subelement, only of DivisionHLAPI kind.
`List<GreaterThanHLAPI>`	`getSubterm_integers_GreaterThanHLAPI()` This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
`List<GreaterThanOrEqualHLAPI>`	`getSubterm_integers_GreaterThanOrEqualHLAPI()` This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind.
`List<LessThanHLAPI>`	`getSubterm_integers_LessThanHLAPI()` This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
`List<LessThanOrEqualHLAPI>`	`getSubterm_integers_LessThanOrEqualHLAPI()` This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind.
`List<ModuloHLAPI>`	`getSubterm_integers_ModuloHLAPI()` This accessor return a list of encapsulated subelement, only of ModuloHLAPI kind.
`List<MultiplicationHLAPI>`	`getSubterm_integers_MultiplicationHLAPI()` This accessor return a list of encapsulated subelement, only of MultiplicationHLAPI kind.
`List<NumberConstantHLAPI>`	`getSubterm_integers_NumberConstantHLAPI()` This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
`List<SubtractionHLAPI>`	`getSubterm_integers_SubtractionHLAPI()` This accessor return a list of encapsulated subelement, only of SubtractionHLAPI kind.
`List<AddHLAPI>`	`getSubterm_multisets_AddHLAPI()` This accessor return a list of encapsulated subelement, only of AddHLAPI kind.
`List<AllHLAPI>`	`getSubterm_multisets_AllHLAPI()` This accessor return a list of encapsulated subelement, only of AllHLAPI kind.
`List<CardinalityHLAPI>`	`getSubterm_multisets_CardinalityHLAPI()` This accessor return a list of encapsulated subelement, only of CardinalityHLAPI kind.
`List<CardinalityOfHLAPI>`	`getSubterm_multisets_CardinalityOfHLAPI()` This accessor return a list of encapsulated subelement, only of CardinalityOfHLAPI kind.
`List<ContainsHLAPI>`	`getSubterm_multisets_ContainsHLAPI()` This accessor return a list of encapsulated subelement, only of ContainsHLAPI kind.
`List<EmptyHLAPI>`	`getSubterm_multisets_EmptyHLAPI()` This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
`List<NumberOfHLAPI>`	`getSubterm_multisets_NumberOfHLAPI()` This accessor return a list of encapsulated subelement, only of NumberOfHLAPI kind.
`List<ScalarProductHLAPI>`	`getSubterm_multisets_ScalarProductHLAPI()` This accessor return a list of encapsulated subelement, only of ScalarProductHLAPI kind.
`List<SubtractHLAPI>`	`getSubterm_multisets_SubtractHLAPI()` This accessor return a list of encapsulated subelement, only of SubtractHLAPI kind.
`List<GreaterThanHLAPI>`	`getSubterm_partitions_GreaterThanHLAPI()` This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
`List<LessThanHLAPI>`	`getSubterm_partitions_LessThanHLAPI()` This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
`List<PartitionElementOfHLAPI>`	`getSubterm_partitions_PartitionElementOfHLAPI()` This accessor return a list of encapsulated subelement, only of PartitionElementOfHLAPI kind.
`List<TupleHLAPI>`	`getSubterm_terms_TupleHLAPI()` This accessor return a list of encapsulated subelement, only of TupleHLAPI kind.
`List<UserOperatorHLAPI>`	`getSubterm_terms_UserOperatorHLAPI()` This accessor return a list of encapsulated subelement, only of UserOperatorHLAPI kind.
`List<VariableHLAPI>`	`getSubterm_terms_VariableHLAPI()` This accessor return a list of encapsulated subelement, only of VariableHLAPI kind.
`List<Term>`	`getSubterm()` Return the encapsulate Low Level API object.
`List<TermHLAPI>`	`getSubtermHLAPI()` This accessor automatically encapsulate all elements of the selected sublist.
`void`	`removeSubtermHLAPI(TermHLAPI unit)`
`void`	`setContainerConditionHLAPI(ConditionHLAPI elem)` set ContainerCondition
`void`	`setContainerHLAnnotationHLAPI(HLAnnotationHLAPI elem)` set ContainerHLAnnotation
`void`	`setContainerHLMarkingHLAPI(HLMarkingHLAPI elem)` set ContainerHLMarking
`void`	`setContainerNamedOperatorHLAPI(NamedOperatorHLAPI elem)` set ContainerNamedOperator
`void`	`setContainerOperatorHLAPI(OperatorHLAPI elem)` set ContainerOperator
`void`	`setContainerPartitionElementHLAPI(PartitionElementHLAPI elem)` set ContainerPartitionElement
`void`	`setOutputHLAPI(SortHLAPI elem)` set Output
`void`	`setSortHLAPI(SortHLAPI elem)` set Sort
`String`	`toPNML()` Returns the PNML xml tree for this object.
`void`	`toPNML(FileChannel fc)` Writes the PNML XML tree of this object into file channel.
`boolean`	`validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface fr.lip6.move.pnml.symmetricnet.terms.hlapi.OperatorHLAPI
equals

- Constructor Detail
  - InequalityHLAPI
```
public InequalityHLAPI(SortHLAPI sort,
                       SortHLAPI output)
```
    this constructor allows you to set all 'settable' values excepted container.
  - InequalityHLAPI
```
public InequalityHLAPI(SortHLAPI sort,
                       SortHLAPI output,
                       OperatorHLAPI containerOperator)
```
    this constructor allows you to set all 'settable' values, including container if any.
  - InequalityHLAPI
```
public InequalityHLAPI(SortHLAPI sort,
                       SortHLAPI output,
                       NamedOperatorHLAPI containerNamedOperator)
```
    this constructor allows you to set all 'settable' values, including container if any.
  - InequalityHLAPI
```
public InequalityHLAPI(SortHLAPI sort,
                       SortHLAPI output,
                       HLMarkingHLAPI containerHLMarking)
```
    this constructor allows you to set all 'settable' values, including container if any.
  - InequalityHLAPI
```
public InequalityHLAPI(SortHLAPI sort,
                       SortHLAPI output,
                       ConditionHLAPI containerCondition)
```
    this constructor allows you to set all 'settable' values, including container if any.
  - InequalityHLAPI
```
public InequalityHLAPI(SortHLAPI sort,
                       SortHLAPI output,
                       HLAnnotationHLAPI containerHLAnnotation)
```
    this constructor allows you to set all 'settable' values, including container if any.
  - InequalityHLAPI
```
public InequalityHLAPI(SortHLAPI sort,
                       SortHLAPI output,
                       PartitionElementHLAPI containerPartitionElement)
```
    this constructor allows you to set all 'settable' values, including container if any.
  - InequalityHLAPI
```
public InequalityHLAPI(OperatorHLAPI containerOperator)
```
    This constructor give access to required stuff only (and container)
  - InequalityHLAPI
```
public InequalityHLAPI(NamedOperatorHLAPI containerNamedOperator)
```
    This constructor give access to required stuff only (and container)
  - InequalityHLAPI
```
public InequalityHLAPI(HLMarkingHLAPI containerHLMarking)
```
    This constructor give access to required stuff only (and container)
  - InequalityHLAPI
```
public InequalityHLAPI(ConditionHLAPI containerCondition)
```
    This constructor give access to required stuff only (and container)
  - InequalityHLAPI
```
public InequalityHLAPI(HLAnnotationHLAPI containerHLAnnotation)
```
    This constructor give access to required stuff only (and container)
  - InequalityHLAPI
```
public InequalityHLAPI(PartitionElementHLAPI containerPartitionElement)
```
    This constructor give access to required stuff only (and container)
  - InequalityHLAPI
```
public InequalityHLAPI(Inequality lowLevelAPI)
```
    This constructor encapsulate a low level API object in HLAPI.
- Method Detail
  - getContainedItem
```
public Inequality getContainedItem()
```
    Return encapsulated object
    
    Specified by:
    
    getContainedItem in interface HLAPIClass
    
    Returns:
    
    the encapsulated object.
  - getSort
```
public Sort getSort()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getSort in interface OperatorHLAPI
    
    Specified by:
    
    getSort in interface TermHLAPI
  - getContainerOperator
```
public Operator getContainerOperator()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getContainerOperator in interface OperatorHLAPI
    
    Specified by:
    
    getContainerOperator in interface TermHLAPI
  - getContainerNamedOperator
```
public NamedOperator getContainerNamedOperator()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getContainerNamedOperator in interface OperatorHLAPI
    
    Specified by:
    
    getContainerNamedOperator in interface TermHLAPI
  - getContainerHLMarking
```
public HLMarking getContainerHLMarking()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getContainerHLMarking in interface OperatorHLAPI
    
    Specified by:
    
    getContainerHLMarking in interface TermHLAPI
  - getContainerCondition
```
public Condition getContainerCondition()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getContainerCondition in interface OperatorHLAPI
    
    Specified by:
    
    getContainerCondition in interface TermHLAPI
  - getContainerHLAnnotation
```
public HLAnnotation getContainerHLAnnotation()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getContainerHLAnnotation in interface OperatorHLAPI
    
    Specified by:
    
    getContainerHLAnnotation in interface TermHLAPI
  - getContainerPartitionElement
```
public PartitionElement getContainerPartitionElement()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getContainerPartitionElement in interface OperatorHLAPI
    
    Specified by:
    
    getContainerPartitionElement in interface TermHLAPI
  - getSubterm
```
public List<Term> getSubterm()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getSubterm in interface OperatorHLAPI
  - getOutput
```
public Sort getOutput()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getOutput in interface OperatorHLAPI
  - getInput
```
public List<Sort> getInput()
```
    Return the encapsulate Low Level API object.
    
    Specified by:
    
    getInput in interface OperatorHLAPI
  - getSortHLAPI
```
public SortHLAPI getSortHLAPI()
```
    This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.
    
    Specified by:
    
    getSortHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    getSortHLAPI in interface TermHLAPI
    
    Returns:
    
    : null if the element is null
  - getContainerOperatorHLAPI
```
public OperatorHLAPI getContainerOperatorHLAPI()
```
    This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.
    
    Specified by:
    
    getContainerOperatorHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    getContainerOperatorHLAPI in interface TermHLAPI
    
    Returns:
    
    : null if the element is null
  - getContainerNamedOperatorHLAPI
```
public NamedOperatorHLAPI getContainerNamedOperatorHLAPI()
```
    This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.
    
    Specified by:
    
    getContainerNamedOperatorHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    getContainerNamedOperatorHLAPI in interface TermHLAPI
    
    Returns:
    
    : null if the element is null
  - getContainerHLMarkingHLAPI
```
public HLMarkingHLAPI getContainerHLMarkingHLAPI()
```
    This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.
    
    Specified by:
    
    getContainerHLMarkingHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    getContainerHLMarkingHLAPI in interface TermHLAPI
    
    Returns:
    
    : null if the element is null
  - getContainerConditionHLAPI
```
public ConditionHLAPI getContainerConditionHLAPI()
```
    This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.
    
    Specified by:
    
    getContainerConditionHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    getContainerConditionHLAPI in interface TermHLAPI
    
    Returns:
    
    : null if the element is null
  - getContainerHLAnnotationHLAPI
```
public HLAnnotationHLAPI getContainerHLAnnotationHLAPI()
```
    This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.
    
    Specified by:
    
    getContainerHLAnnotationHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    getContainerHLAnnotationHLAPI in interface TermHLAPI
    
    Returns:
    
    : null if the element is null
  - getContainerPartitionElementHLAPI
```
public PartitionElementHLAPI getContainerPartitionElementHLAPI()
```
    This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.
    
    Specified by:
    
    getContainerPartitionElementHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    getContainerPartitionElementHLAPI in interface TermHLAPI
    
    Returns:
    
    : null if the element is null
  - getSubtermHLAPI
```
public List<TermHLAPI> getSubtermHLAPI()
```
    This accessor automatically encapsulate all elements of the selected sublist. WARNING : this can creates a lot of new object in memory.
    
    Specified by:
    
    getSubtermHLAPI in interface OperatorHLAPI
  - getOutputHLAPI
```
public SortHLAPI getOutputHLAPI()
```
    This accessor automatically encapsulate an element of the current object. WARNING : this creates a new object in memory.
    
    Specified by:
    
    getOutputHLAPI in interface OperatorHLAPI
    
    Returns:
    
    : null if the element is null
  - getInputHLAPI
```
public List<SortHLAPI> getInputHLAPI()
```
    This accessor automatically encapsulate all elements of the selected sublist. WARNING : this can creates a lot of new object in memory.
    
    Specified by:
    
    getInputHLAPI in interface OperatorHLAPI
  - getSubterm_booleans_EqualityHLAPI
```
public List<EqualityHLAPI> getSubterm_booleans_EqualityHLAPI()
```
    This accessor return a list of encapsulated subelement, only of EqualityHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_booleans_EqualityHLAPI in interface OperatorHLAPI
  - getSubterm_booleans_InequalityHLAPI
```
public List<InequalityHLAPI> getSubterm_booleans_InequalityHLAPI()
```
    This accessor return a list of encapsulated subelement, only of InequalityHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_booleans_InequalityHLAPI in interface OperatorHLAPI
  - getSubterm_booleans_BooleanConstantHLAPI
```
public List<BooleanConstantHLAPI> getSubterm_booleans_BooleanConstantHLAPI()
```
    This accessor return a list of encapsulated subelement, only of BooleanConstantHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_booleans_BooleanConstantHLAPI in interface OperatorHLAPI
  - getSubterm_booleans_OrHLAPI
```
public List<OrHLAPI> getSubterm_booleans_OrHLAPI()
```
    This accessor return a list of encapsulated subelement, only of OrHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_booleans_OrHLAPI in interface OperatorHLAPI
  - getSubterm_booleans_AndHLAPI
```
public List<AndHLAPI> getSubterm_booleans_AndHLAPI()
```
    This accessor return a list of encapsulated subelement, only of AndHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_booleans_AndHLAPI in interface OperatorHLAPI
  - getSubterm_booleans_ImplyHLAPI
```
public List<ImplyHLAPI> getSubterm_booleans_ImplyHLAPI()
```
    This accessor return a list of encapsulated subelement, only of ImplyHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_booleans_ImplyHLAPI in interface OperatorHLAPI
  - getSubterm_booleans_NotHLAPI
```
public List<NotHLAPI> getSubterm_booleans_NotHLAPI()
```
    This accessor return a list of encapsulated subelement, only of NotHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_booleans_NotHLAPI in interface OperatorHLAPI
  - getSubterm_cyclicEnumerations_SuccessorHLAPI
```
public List<SuccessorHLAPI> getSubterm_cyclicEnumerations_SuccessorHLAPI()
```
    This accessor return a list of encapsulated subelement, only of SuccessorHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_cyclicEnumerations_SuccessorHLAPI in interface OperatorHLAPI
  - getSubterm_cyclicEnumerations_PredecessorHLAPI
```
public List<PredecessorHLAPI> getSubterm_cyclicEnumerations_PredecessorHLAPI()
```
    This accessor return a list of encapsulated subelement, only of PredecessorHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_cyclicEnumerations_PredecessorHLAPI in interface OperatorHLAPI
  - getSubterm_dots_DotConstantHLAPI
```
public List<DotConstantHLAPI> getSubterm_dots_DotConstantHLAPI()
```
    This accessor return a list of encapsulated subelement, only of DotConstantHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_dots_DotConstantHLAPI in interface OperatorHLAPI
  - getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI
```
public List<FiniteIntRangeConstantHLAPI> getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI()
```
    This accessor return a list of encapsulated subelement, only of FiniteIntRangeConstantHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI in interface OperatorHLAPI
  - getSubterm_finiteIntRanges_LessThanHLAPI
```
public List<LessThanHLAPI> getSubterm_finiteIntRanges_LessThanHLAPI()
```
    This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_finiteIntRanges_LessThanHLAPI in interface OperatorHLAPI
  - getSubterm_finiteIntRanges_GreaterThanHLAPI
```
public List<GreaterThanHLAPI> getSubterm_finiteIntRanges_GreaterThanHLAPI()
```
    This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_finiteIntRanges_GreaterThanHLAPI in interface OperatorHLAPI
  - getSubterm_finiteIntRanges_LessThanOrEqualHLAPI
```
public List<LessThanOrEqualHLAPI> getSubterm_finiteIntRanges_LessThanOrEqualHLAPI()
```
    This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_finiteIntRanges_LessThanOrEqualHLAPI in interface OperatorHLAPI
  - getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI
```
public List<GreaterThanOrEqualHLAPI> getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI()
```
    This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI in interface OperatorHLAPI
  - getSubterm_integers_NumberConstantHLAPI
```
public List<NumberConstantHLAPI> getSubterm_integers_NumberConstantHLAPI()
```
    This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_NumberConstantHLAPI in interface OperatorHLAPI
  - getSubterm_integers_AdditionHLAPI
```
public List<AdditionHLAPI> getSubterm_integers_AdditionHLAPI()
```
    This accessor return a list of encapsulated subelement, only of AdditionHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_AdditionHLAPI in interface OperatorHLAPI
  - getSubterm_integers_SubtractionHLAPI
```
public List<SubtractionHLAPI> getSubterm_integers_SubtractionHLAPI()
```
    This accessor return a list of encapsulated subelement, only of SubtractionHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_SubtractionHLAPI in interface OperatorHLAPI
  - getSubterm_integers_MultiplicationHLAPI
```
public List<MultiplicationHLAPI> getSubterm_integers_MultiplicationHLAPI()
```
    This accessor return a list of encapsulated subelement, only of MultiplicationHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_MultiplicationHLAPI in interface OperatorHLAPI
  - getSubterm_integers_DivisionHLAPI
```
public List<DivisionHLAPI> getSubterm_integers_DivisionHLAPI()
```
    This accessor return a list of encapsulated subelement, only of DivisionHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_DivisionHLAPI in interface OperatorHLAPI
  - getSubterm_integers_ModuloHLAPI
```
public List<ModuloHLAPI> getSubterm_integers_ModuloHLAPI()
```
    This accessor return a list of encapsulated subelement, only of ModuloHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_ModuloHLAPI in interface OperatorHLAPI
  - getSubterm_integers_GreaterThanHLAPI
```
public List<GreaterThanHLAPI> getSubterm_integers_GreaterThanHLAPI()
```
    This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_GreaterThanHLAPI in interface OperatorHLAPI
  - getSubterm_integers_GreaterThanOrEqualHLAPI
```
public List<GreaterThanOrEqualHLAPI> getSubterm_integers_GreaterThanOrEqualHLAPI()
```
    This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_GreaterThanOrEqualHLAPI in interface OperatorHLAPI
  - getSubterm_integers_LessThanHLAPI
```
public List<LessThanHLAPI> getSubterm_integers_LessThanHLAPI()
```
    This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_LessThanHLAPI in interface OperatorHLAPI
  - getSubterm_integers_LessThanOrEqualHLAPI
```
public List<LessThanOrEqualHLAPI> getSubterm_integers_LessThanOrEqualHLAPI()
```
    This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_integers_LessThanOrEqualHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_CardinalityHLAPI
```
public List<CardinalityHLAPI> getSubterm_multisets_CardinalityHLAPI()
```
    This accessor return a list of encapsulated subelement, only of CardinalityHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_CardinalityHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_ContainsHLAPI
```
public List<ContainsHLAPI> getSubterm_multisets_ContainsHLAPI()
```
    This accessor return a list of encapsulated subelement, only of ContainsHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_ContainsHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_CardinalityOfHLAPI
```
public List<CardinalityOfHLAPI> getSubterm_multisets_CardinalityOfHLAPI()
```
    This accessor return a list of encapsulated subelement, only of CardinalityOfHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_CardinalityOfHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_AddHLAPI
```
public List<AddHLAPI> getSubterm_multisets_AddHLAPI()
```
    This accessor return a list of encapsulated subelement, only of AddHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_AddHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_AllHLAPI
```
public List<AllHLAPI> getSubterm_multisets_AllHLAPI()
```
    This accessor return a list of encapsulated subelement, only of AllHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_AllHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_EmptyHLAPI
```
public List<EmptyHLAPI> getSubterm_multisets_EmptyHLAPI()
```
    This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_EmptyHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_NumberOfHLAPI
```
public List<NumberOfHLAPI> getSubterm_multisets_NumberOfHLAPI()
```
    This accessor return a list of encapsulated subelement, only of NumberOfHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_NumberOfHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_SubtractHLAPI
```
public List<SubtractHLAPI> getSubterm_multisets_SubtractHLAPI()
```
    This accessor return a list of encapsulated subelement, only of SubtractHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_SubtractHLAPI in interface OperatorHLAPI
  - getSubterm_multisets_ScalarProductHLAPI
```
public List<ScalarProductHLAPI> getSubterm_multisets_ScalarProductHLAPI()
```
    This accessor return a list of encapsulated subelement, only of ScalarProductHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_multisets_ScalarProductHLAPI in interface OperatorHLAPI
  - getSubterm_partitions_GreaterThanHLAPI
```
public List<GreaterThanHLAPI> getSubterm_partitions_GreaterThanHLAPI()
```
    This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_partitions_GreaterThanHLAPI in interface OperatorHLAPI
  - getSubterm_partitions_PartitionElementOfHLAPI
```
public List<PartitionElementOfHLAPI> getSubterm_partitions_PartitionElementOfHLAPI()
```
    This accessor return a list of encapsulated subelement, only of PartitionElementOfHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_partitions_PartitionElementOfHLAPI in interface OperatorHLAPI
  - getSubterm_partitions_LessThanHLAPI
```
public List<LessThanHLAPI> getSubterm_partitions_LessThanHLAPI()
```
    This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_partitions_LessThanHLAPI in interface OperatorHLAPI
  - getSubterm_terms_VariableHLAPI
```
public List<VariableHLAPI> getSubterm_terms_VariableHLAPI()
```
    This accessor return a list of encapsulated subelement, only of VariableHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_terms_VariableHLAPI in interface OperatorHLAPI
  - getSubterm_terms_TupleHLAPI
```
public List<TupleHLAPI> getSubterm_terms_TupleHLAPI()
```
    This accessor return a list of encapsulated subelement, only of TupleHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_terms_TupleHLAPI in interface OperatorHLAPI
  - getSubterm_terms_UserOperatorHLAPI
```
public List<UserOperatorHLAPI> getSubterm_terms_UserOperatorHLAPI()
```
    This accessor return a list of encapsulated subelement, only of UserOperatorHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getSubterm_terms_UserOperatorHLAPI in interface OperatorHLAPI
  - getInput_booleans_BoolHLAPI
```
public List<BoolHLAPI> getInput_booleans_BoolHLAPI()
```
    This accessor return a list of encapsulated subelement, only of BoolHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_booleans_BoolHLAPI in interface OperatorHLAPI
  - getInput_cyclicEnumerations_CyclicEnumerationHLAPI
```
public List<CyclicEnumerationHLAPI> getInput_cyclicEnumerations_CyclicEnumerationHLAPI()
```
    This accessor return a list of encapsulated subelement, only of CyclicEnumerationHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_cyclicEnumerations_CyclicEnumerationHLAPI in interface OperatorHLAPI
  - getInput_dots_DotHLAPI
```
public List<DotHLAPI> getInput_dots_DotHLAPI()
```
    This accessor return a list of encapsulated subelement, only of DotHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_dots_DotHLAPI in interface OperatorHLAPI
  - getInput_finiteEnumerations_FiniteEnumerationHLAPI
```
public List<FiniteEnumerationHLAPI> getInput_finiteEnumerations_FiniteEnumerationHLAPI()
```
    This accessor return a list of encapsulated subelement, only of FiniteEnumerationHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_finiteEnumerations_FiniteEnumerationHLAPI in interface OperatorHLAPI
  - getInput_finiteIntRanges_FiniteIntRangeHLAPI
```
public List<FiniteIntRangeHLAPI> getInput_finiteIntRanges_FiniteIntRangeHLAPI()
```
    This accessor return a list of encapsulated subelement, only of FiniteIntRangeHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_finiteIntRanges_FiniteIntRangeHLAPI in interface OperatorHLAPI
  - getInput_integers_NaturalHLAPI
```
public List<NaturalHLAPI> getInput_integers_NaturalHLAPI()
```
    This accessor return a list of encapsulated subelement, only of NaturalHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_integers_NaturalHLAPI in interface OperatorHLAPI
  - getInput_integers_PositiveHLAPI
```
public List<PositiveHLAPI> getInput_integers_PositiveHLAPI()
```
    This accessor return a list of encapsulated subelement, only of PositiveHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_integers_PositiveHLAPI in interface OperatorHLAPI
  - getInput_integers_HLIntegerHLAPI
```
public List<HLIntegerHLAPI> getInput_integers_HLIntegerHLAPI()
```
    This accessor return a list of encapsulated subelement, only of HLIntegerHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_integers_HLIntegerHLAPI in interface OperatorHLAPI
  - getInput_terms_MultisetSortHLAPI
```
public List<MultisetSortHLAPI> getInput_terms_MultisetSortHLAPI()
```
    This accessor return a list of encapsulated subelement, only of MultisetSortHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_terms_MultisetSortHLAPI in interface OperatorHLAPI
  - getInput_terms_ProductSortHLAPI
```
public List<ProductSortHLAPI> getInput_terms_ProductSortHLAPI()
```
    This accessor return a list of encapsulated subelement, only of ProductSortHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_terms_ProductSortHLAPI in interface OperatorHLAPI
  - getInput_terms_UserSortHLAPI
```
public List<UserSortHLAPI> getInput_terms_UserSortHLAPI()
```
    This accessor return a list of encapsulated subelement, only of UserSortHLAPI kind. WARNING : this method can creates a lot of new object in memory.
    
    Specified by:
    
    getInput_terms_UserSortHLAPI in interface OperatorHLAPI
  - setSortHLAPI
```
public void setSortHLAPI(SortHLAPI elem)
```
    set Sort
    
    Specified by:
    
    setSortHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    setSortHLAPI in interface TermHLAPI
  - setOutputHLAPI
```
public void setOutputHLAPI(SortHLAPI elem)
```
    set Output
    
    Specified by:
    
    setOutputHLAPI in interface OperatorHLAPI
  - setContainerOperatorHLAPI
```
public void setContainerOperatorHLAPI(OperatorHLAPI elem)
```
    set ContainerOperator
    
    Specified by:
    
    setContainerOperatorHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    setContainerOperatorHLAPI in interface TermHLAPI
  - setContainerNamedOperatorHLAPI
```
public void setContainerNamedOperatorHLAPI(NamedOperatorHLAPI elem)
```
    set ContainerNamedOperator
    
    Specified by:
    
    setContainerNamedOperatorHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    setContainerNamedOperatorHLAPI in interface TermHLAPI
  - setContainerHLMarkingHLAPI
```
public void setContainerHLMarkingHLAPI(HLMarkingHLAPI elem)
```
    set ContainerHLMarking
    
    Specified by:
    
    setContainerHLMarkingHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    setContainerHLMarkingHLAPI in interface TermHLAPI
  - setContainerConditionHLAPI
```
public void setContainerConditionHLAPI(ConditionHLAPI elem)
```
    set ContainerCondition
    
    Specified by:
    
    setContainerConditionHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    setContainerConditionHLAPI in interface TermHLAPI
  - setContainerHLAnnotationHLAPI
```
public void setContainerHLAnnotationHLAPI(HLAnnotationHLAPI elem)
```
    set ContainerHLAnnotation
    
    Specified by:
    
    setContainerHLAnnotationHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    setContainerHLAnnotationHLAPI in interface TermHLAPI
  - setContainerPartitionElementHLAPI
```
public void setContainerPartitionElementHLAPI(PartitionElementHLAPI elem)
```
    set ContainerPartitionElement
    
    Specified by:
    
    setContainerPartitionElementHLAPI in interface OperatorHLAPI
    
    Specified by:
    
    setContainerPartitionElementHLAPI in interface TermHLAPI
  - addSubtermHLAPI
```
public void addSubtermHLAPI(TermHLAPI unit)
```
    Specified by:
    
    addSubtermHLAPI in interface OperatorHLAPI
  - removeSubtermHLAPI
```
public void removeSubtermHLAPI(TermHLAPI unit)
```
    Specified by:
    
    removeSubtermHLAPI in interface OperatorHLAPI
  - equals
```
public boolean equals(InequalityHLAPI item)
```
  - toPNML
```
public String toPNML()
```
    Returns the PNML xml tree for this object.
    
    Specified by:
    
    toPNML in interface HLAPIClass
    
    Returns:
    
    the string containing the PNML output.
    
    See Also:
    
    HLAPIClass.toPNML(FileChannel)
  - toPNML
```
public void toPNML(FileChannel fc)
```
    Writes the PNML XML tree of this object into file channel.
    
    Specified by:
    
    toPNML in interface HLAPIClass
    
    Parameters:
    
    fc - the file channel into which to write the contents
  - fromPNML
```
public void fromPNML(org.apache.axiom.om.OMElement subRoot,
                     IdRefLinker idr)
              throws InnerBuildException,
                     InvalidIDException,
                     VoidRepositoryException
```
    creates an object from the xml nodes.(symetric work of toPNML)
    
    Specified by:
    
    fromPNML in interface HLAPIClass
    
    Parameters:
    
    subRoot - the sub-tree to import.
    
    idr - an idreflinker to solve idref.
    
    Throws:
    
    InnerBuildException - .
    
    InvalidIDException - .
    
    VoidRepositoryException - .
  - validateOCL
```
public boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
```
    Specified by:
    
    validateOCL in interface HLAPIClass
    
    Parameters:
    
    diagnostics - for diagnostic informations.
    
    Returns:
    
    true if there is no OCL violations

Class InequalityHLAPI

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface fr.lip6.move.pnml.symmetricnet.terms.hlapi.OperatorHLAPI

Constructor Detail

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

InequalityHLAPI

Method Detail

getContainedItem

getSort

getContainerOperator

getContainerNamedOperator

getContainerHLMarking

getContainerCondition

getContainerHLAnnotation

getContainerPartitionElement

getSubterm

getOutput

getInput

getSortHLAPI

getContainerOperatorHLAPI

getContainerNamedOperatorHLAPI

getContainerHLMarkingHLAPI

getContainerConditionHLAPI

getContainerHLAnnotationHLAPI

getContainerPartitionElementHLAPI

getSubtermHLAPI

getOutputHLAPI

getInputHLAPI

getSubterm_booleans_EqualityHLAPI

getSubterm_booleans_InequalityHLAPI

getSubterm_booleans_BooleanConstantHLAPI

getSubterm_booleans_OrHLAPI

getSubterm_booleans_AndHLAPI

getSubterm_booleans_ImplyHLAPI

getSubterm_booleans_NotHLAPI

getSubterm_cyclicEnumerations_SuccessorHLAPI

getSubterm_cyclicEnumerations_PredecessorHLAPI

getSubterm_dots_DotConstantHLAPI

getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI

getSubterm_finiteIntRanges_LessThanHLAPI

getSubterm_finiteIntRanges_GreaterThanHLAPI

getSubterm_finiteIntRanges_LessThanOrEqualHLAPI

getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI

getSubterm_integers_NumberConstantHLAPI

getSubterm_integers_AdditionHLAPI

getSubterm_integers_SubtractionHLAPI

getSubterm_integers_MultiplicationHLAPI

getSubterm_integers_DivisionHLAPI

getSubterm_integers_ModuloHLAPI

getSubterm_integers_GreaterThanHLAPI

getSubterm_integers_GreaterThanOrEqualHLAPI

getSubterm_integers_LessThanHLAPI

getSubterm_integers_LessThanOrEqualHLAPI

getSubterm_multisets_CardinalityHLAPI

getSubterm_multisets_ContainsHLAPI

getSubterm_multisets_CardinalityOfHLAPI

getSubterm_multisets_AddHLAPI

getSubterm_multisets_AllHLAPI

getSubterm_multisets_EmptyHLAPI

getSubterm_multisets_NumberOfHLAPI

getSubterm_multisets_SubtractHLAPI

getSubterm_multisets_ScalarProductHLAPI

getSubterm_partitions_GreaterThanHLAPI

getSubterm_partitions_PartitionElementOfHLAPI

getSubterm_partitions_LessThanHLAPI

getSubterm_terms_VariableHLAPI