Package | Description |
---|---|
fr.lip6.move.pnml.pthlpng.partitions | |
fr.lip6.move.pnml.pthlpng.partitions.util |
Modifier and Type | Interface and Description |
---|---|
interface |
GreaterThan
A representation of the model object 'Greater Than'
|
interface |
LessThan
A representation of the model object 'Less Than'
|
interface |
PartitionElementOf
A representation of the model object 'Partition Element Of'
|
Modifier and Type | Method and Description |
---|---|
T |
PartitionsSwitch.casePartitionOperator(PartitionOperator object)
Returns the result of interpreting the object as an instance of 'Partition Operator'
|
boolean |
PartitionsValidator.validatePartitionOperator(PartitionOperator partitionOperator,
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.