Modifier and Type | Interface and Description |
---|---|
interface |
And
A representation of the model object 'And'
|
interface |
BooleanConstant
A representation of the model object 'Boolean Constant'
|
interface |
BooleanOperator
A representation of the model object 'Boolean Operator'
|
interface |
Equality
A representation of the model object 'Equality'
|
interface |
Imply
A representation of the model object 'Imply'
|
interface |
Inequality
A representation of the model object 'Inequality'
|
interface |
Not
A representation of the model object 'Not'
|
interface |
Or
A representation of the model object 'Or'
|
Modifier and Type | Method and Description |
---|---|
List<Term> |
OrHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
NotHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
InequalityHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
ImplyHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
EqualityHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
BooleanConstantHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
AndHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
T |
BooleansSwitch.caseTerm(Term object)
Returns the result of interpreting the object as an instance of 'Term'
|
Modifier and Type | Interface and Description |
---|---|
interface |
DotConstant
A representation of the model object 'Dot Constant'
|
Modifier and Type | Method and Description |
---|---|
List<Term> |
DotConstantHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
T |
DotsSwitch.caseTerm(Term object)
Returns the result of interpreting the object as an instance of 'Term'
|
Modifier and Type | Method and Description |
---|---|
Term |
HLMarking.getStructure()
Returns the value of the 'Structure' containment reference.
|
Term |
HLAnnotation.getStructure()
Returns the value of the 'Structure' containment reference.
|
Term |
Condition.getStructure()
Returns the value of the 'Structure' containment reference.
|
Modifier and Type | Method and Description |
---|---|
void |
HLMarking.setStructure(Term value)
Sets the value of the '
Structure ' containment reference |
void |
HLAnnotation.setStructure(Term value)
Sets the value of the '
Structure ' containment reference |
void |
Condition.setStructure(Term value)
Sets the value of the '
Structure ' containment reference |
Modifier and Type | Method and Description |
---|---|
Term |
HLMarkingHLAPI.getStructure()
Return the encapsulate Low Level API object.
|
Term |
HLAnnotationHLAPI.getStructure()
Return the encapsulate Low Level API object.
|
Term |
ConditionHLAPI.getStructure()
Return the encapsulate Low Level API object.
|
Modifier and Type | Field and Description |
---|---|
protected Term |
HLMarkingImpl.structure
The cached value of the '
Structure ' containment reference |
protected Term |
HLAnnotationImpl.structure
The cached value of the '
Structure ' containment reference |
protected Term |
ConditionImpl.structure
The cached value of the '
Structure ' containment reference |
Modifier and Type | Method and Description |
---|---|
Term |
HLMarkingImpl.getStructure() |
Term |
HLAnnotationImpl.getStructure() |
Term |
ConditionImpl.getStructure() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
HLMarkingImpl.basicSetStructure(Term newStructure,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
HLAnnotationImpl.basicSetStructure(Term newStructure,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
ConditionImpl.basicSetStructure(Term newStructure,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
HLMarkingImpl.setStructure(Term newStructure) |
void |
HLAnnotationImpl.setStructure(Term newStructure) |
void |
ConditionImpl.setStructure(Term newStructure) |
Modifier and Type | Interface and Description |
---|---|
interface |
Addition
A representation of the model object 'Addition'
|
interface |
Division
A representation of the model object 'Division'
|
interface |
GreaterThan
A representation of the model object 'Greater Than'
|
interface |
GreaterThanOrEqual
A representation of the model object 'Greater Than Or Equal'
|
interface |
IntegerOperator
A representation of the model object 'Integer Operator'
|
interface |
LessThan
A representation of the model object 'Less Than'
|
interface |
LessThanOrEqual
A representation of the model object 'Less Than Or Equal'
|
interface |
Modulo
A representation of the model object 'Modulo'
|
interface |
Multiplication
A representation of the model object 'Multiplication'
|
interface |
NumberConstant
A representation of the model object 'Number Constant'
|
interface |
Subtraction
A representation of the model object 'Subtraction'
|
Modifier and Type | Method and Description |
---|---|
List<Term> |
SubtractionHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
NumberConstantHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
MultiplicationHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
ModuloHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
LessThanOrEqualHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
LessThanHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
GreaterThanOrEqualHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
GreaterThanHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
DivisionHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
AdditionHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
T |
IntegersSwitch.caseTerm(Term object)
Returns the result of interpreting the object as an instance of 'Term'
|
Modifier and Type | Interface and Description |
---|---|
interface |
Add
A representation of the model object 'Add'
|
interface |
All
A representation of the model object 'All'
|
interface |
Cardinality
A representation of the model object 'Cardinality'
|
interface |
CardinalityOf
A representation of the model object 'Cardinality Of'
|
interface |
Contains
A representation of the model object 'Contains'
|
interface |
Empty
A representation of the model object 'Empty'
|
interface |
NumberOf
A representation of the model object 'Number Of'
|
interface |
ScalarProduct
A representation of the model object 'Scalar Product'
|
interface |
Subtract
A representation of the model object 'Subtract'
|
Modifier and Type | Method and Description |
---|---|
List<Term> |
SubtractHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
ScalarProductHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
NumberOfHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
EmptyHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
ContainsHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
CardinalityOfHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
CardinalityHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
AllHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
AddHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
T |
MultisetsSwitch.caseTerm(Term object)
Returns the result of interpreting the object as an instance of 'Term'
|
Modifier and Type | Interface and Description |
---|---|
interface |
PartitionElementOf
A representation of the model object 'Partition Element Of'
|
interface |
PartitionOperator
A representation of the model object 'Partition Operator'
|
Modifier and Type | Method and Description |
---|---|
List<Term> |
PartitionElement.getPartitionelementconstants()
Returns the value of the 'Partitionelementconstants' containment reference list.
|
Modifier and Type | Method and Description |
---|---|
List<Term> |
PartitionElementHLAPI.getPartitionelementconstants()
Return the encapsulate Low Level API object.
|
List<Term> |
PartitionElementOfHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
LessThanHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
GreaterThanHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.common.util.EList<Term> |
PartitionElementImpl.partitionelementconstants
The cached value of the '
Partitionelementconstants ' containment reference list |
Modifier and Type | Method and Description |
---|---|
List<Term> |
PartitionElementImpl.getPartitionelementconstants() |
Modifier and Type | Method and Description |
---|---|
T |
PartitionsSwitch.caseTerm(Term object)
Returns the result of interpreting the object as an instance of 'Term'
|
Modifier and Type | Interface and Description |
---|---|
interface |
BuiltInConstant
A representation of the model object 'Built In Constant'
|
interface |
BuiltInOperator
A representation of the model object 'Built In Operator'
|
interface |
MultisetOperator
A representation of the model object 'Multiset Operator'
|
interface |
Operator
A representation of the model object 'Operator'
|
interface |
Tuple
A representation of the model object 'Tuple'
|
interface |
UserOperator
A representation of the model object 'User Operator'
|
interface |
Variable
A representation of the model object 'Variable'
|
Modifier and Type | Method and Description |
---|---|
Term |
NamedOperator.getDef()
Returns the value of the 'Def' containment reference.
|
Modifier and Type | Method and Description |
---|---|
List<Term> |
Operator.getSubterm()
Returns the value of the 'Subterm' containment reference list.
|
Modifier and Type | Method and Description |
---|---|
void |
NamedOperator.setDef(Term value)
Sets the value of the '
Def ' containment reference |
Modifier and Type | Method and Description |
---|---|
Term |
NamedOperatorHLAPI.getDef()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Term> |
UserOperatorHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
TupleHLAPI.getSubterm()
Return the encapsulate Low Level API object.
|
List<Term> |
OperatorHLAPI.getSubterm() |
Modifier and Type | Field and Description |
---|---|
protected Term |
NamedOperatorImpl.def
The cached value of the '
Def ' containment reference |
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.common.util.EList<Term> |
OperatorImpl.subterm
The cached value of the '
Subterm ' containment reference list |
Modifier and Type | Method and Description |
---|---|
Term |
NamedOperatorImpl.getDef() |
Modifier and Type | Method and Description |
---|---|
List<Term> |
OperatorImpl.getSubterm() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
NamedOperatorImpl.basicSetDef(Term newDef,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
NamedOperatorImpl.setDef(Term newDef) |
Modifier and Type | Method and Description |
---|---|
T |
TermsSwitch.caseTerm(Term object)
Returns the result of interpreting the object as an instance of 'Term'
|
boolean |
TermsValidator.validateTerm(Term term,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.