Constant Field Values

Contents

• fr.lip6.*

fr.lip6.*

fr.lip6.move.pnml.framework.general.ImportCustomPNMLFileType

Modifier and Type	Constant Field	Value
public static final int	NBFIELD	4

fr.lip6.move.pnml.framework.general.PNType

Modifier and Type	Constant Field	Value
public static final int	COREMODEL_VALUE	0
public static final int	HLPN_VALUE	3
public static final int	PTHLPN_VALUE	4
public static final int	PTNET_VALUE	1
public static final int	SYMNET_VALUE	2

fr.lip6.move.pnml.framework.utils.PrettyPrintData

Modifier and Type	Constant Field	Value
public static final String	DEFAULTTAB	" "

fr.lip6.move.pnml.hlpn.arbitrarydeclarations.ArbitrarydeclarationsPackage

Modifier and Type	Constant Field	Value
public static final int	ANY_SORT	3
public static final int	ANY_SORT__ANY_SORT_MODEL	11
public static final int	ANY_SORT__CONTAINER_ALL	5
public static final int	ANY_SORT__CONTAINER_EMPTY	6
public static final int	ANY_SORT__CONTAINER_EMPTY_LIST	9
public static final int	ANY_SORT__CONTAINER_LIST	8
public static final int	ANY_SORT__CONTAINER_MAKE_LIST	10
public static final int	ANY_SORT__CONTAINER_NAMED_SORT	1
public static final int	ANY_SORT__CONTAINER_PARTITION	7
public static final int	ANY_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	ANY_SORT__CONTAINER_TYPE	4
public static final int	ANY_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	ANY_SORT__MULTI	0
public static final int	ANY_SORT_FEATURE_COUNT	12
public static final int	ARBITRARY_OPERATOR	1
public static final int	ARBITRARY_OPERATOR__CONTAINER_DECLARATIONS	2
public static final int	ARBITRARY_OPERATOR__ID	0
public static final int	ARBITRARY_OPERATOR__INPUT	3
public static final int	ARBITRARY_OPERATOR__NAME	1
public static final int	ARBITRARY_OPERATOR__OUTPUT	4
public static final int	ARBITRARY_OPERATOR_FEATURE_COUNT	5
public static final int	ARBITRARY_SORT	0
public static final int	ARBITRARY_SORT__CONTAINER_DECLARATIONS	2
public static final int	ARBITRARY_SORT__ID	0
public static final int	ARBITRARY_SORT__NAME	1
public static final int	ARBITRARY_SORT_FEATURE_COUNT	3
public static final String	eNAME	"arbitrarydeclarations"
public static final String	eNS_PREFIX	"arbitrarydeclarations"
public static final String	eNS_URI	"http:///hlpn.arbitrarydeclarations.ecore"
public static final int	UNPARSED	2
public static final int	UNPARSED__CONTAINER_DECLARATIONS	2
public static final int	UNPARSED__ID	0
public static final int	UNPARSED__NAME	1
public static final int	UNPARSED__UNPARSED_MODEL	3
public static final int	UNPARSED_FEATURE_COUNT	4

fr.lip6.move.pnml.hlpn.booleans.BooleansPackage

Modifier and Type	Constant Field	Value
public static final int	AND	5
public static final int	AND__CONTAINER_CONDITION	4
public static final int	AND__CONTAINER_HL_ANNOTATION	5
public static final int	AND__CONTAINER_HL_MARKING	3
public static final int	AND__CONTAINER_NAMED_OPERATOR	2
public static final int	AND__CONTAINER_OPERATOR	1
public static final int	AND__CONTAINER_PARTITION_ELEMENT	6
public static final int	AND__INPUT	9
public static final int	AND__OUTPUT	8
public static final int	AND__SORT	0
public static final int	AND__SUBTERM	7
public static final int	AND_FEATURE_COUNT	10
public static final int	BOOL	8
public static final int	BOOL__CONTAINER_ALL	5
public static final int	BOOL__CONTAINER_EMPTY	6
public static final int	BOOL__CONTAINER_EMPTY_LIST	9
public static final int	BOOL__CONTAINER_LIST	8
public static final int	BOOL__CONTAINER_MAKE_LIST	10
public static final int	BOOL__CONTAINER_NAMED_SORT	1
public static final int	BOOL__CONTAINER_PARTITION	7
public static final int	BOOL__CONTAINER_PRODUCT_SORT	3
public static final int	BOOL__CONTAINER_TYPE	4
public static final int	BOOL__CONTAINER_VARIABLE_DECL	2
public static final int	BOOL__MULTI	0
public static final int	BOOL_FEATURE_COUNT	11
public static final int	BOOLEAN_CONSTANT	2
public static final int	BOOLEAN_CONSTANT__CONTAINER_CONDITION	4
public static final int	BOOLEAN_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	BOOLEAN_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	BOOLEAN_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	BOOLEAN_CONSTANT__CONTAINER_OPERATOR	1
public static final int	BOOLEAN_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	BOOLEAN_CONSTANT__INPUT	9
public static final int	BOOLEAN_CONSTANT__OUTPUT	8
public static final int	BOOLEAN_CONSTANT__SORT	0
public static final int	BOOLEAN_CONSTANT__SUBTERM	7
public static final int	BOOLEAN_CONSTANT__VALUE	10
public static final int	BOOLEAN_CONSTANT_FEATURE_COUNT	11
public static final int	BOOLEAN_OPERATOR	4
public static final int	BOOLEAN_OPERATOR__CONTAINER_CONDITION	4
public static final int	BOOLEAN_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	BOOLEAN_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	BOOLEAN_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	BOOLEAN_OPERATOR__CONTAINER_OPERATOR	1
public static final int	BOOLEAN_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	BOOLEAN_OPERATOR__INPUT	9
public static final int	BOOLEAN_OPERATOR__OUTPUT	8
public static final int	BOOLEAN_OPERATOR__SORT	0
public static final int	BOOLEAN_OPERATOR__SUBTERM	7
public static final int	BOOLEAN_OPERATOR_FEATURE_COUNT	10
public static final String	eNAME	"booleans"
public static final String	eNS_PREFIX	"booleans"
public static final String	eNS_URI	"http:///hlpn.booleans.ecore"
public static final int	EQUALITY	0
public static final int	EQUALITY__CONTAINER_CONDITION	4
public static final int	EQUALITY__CONTAINER_HL_ANNOTATION	5
public static final int	EQUALITY__CONTAINER_HL_MARKING	3
public static final int	EQUALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	EQUALITY__CONTAINER_OPERATOR	1
public static final int	EQUALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	EQUALITY__INPUT	9
public static final int	EQUALITY__OUTPUT	8
public static final int	EQUALITY__SORT	0
public static final int	EQUALITY__SUBTERM	7
public static final int	EQUALITY_FEATURE_COUNT	10
public static final int	IMPLY	6
public static final int	IMPLY__CONTAINER_CONDITION	4
public static final int	IMPLY__CONTAINER_HL_ANNOTATION	5
public static final int	IMPLY__CONTAINER_HL_MARKING	3
public static final int	IMPLY__CONTAINER_NAMED_OPERATOR	2
public static final int	IMPLY__CONTAINER_OPERATOR	1
public static final int	IMPLY__CONTAINER_PARTITION_ELEMENT	6
public static final int	IMPLY__INPUT	9
public static final int	IMPLY__OUTPUT	8
public static final int	IMPLY__SORT	0
public static final int	IMPLY__SUBTERM	7
public static final int	IMPLY_FEATURE_COUNT	10
public static final int	INEQUALITY	1
public static final int	INEQUALITY__CONTAINER_CONDITION	4
public static final int	INEQUALITY__CONTAINER_HL_ANNOTATION	5
public static final int	INEQUALITY__CONTAINER_HL_MARKING	3
public static final int	INEQUALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	INEQUALITY__CONTAINER_OPERATOR	1
public static final int	INEQUALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	INEQUALITY__INPUT	9
public static final int	INEQUALITY__OUTPUT	8
public static final int	INEQUALITY__SORT	0
public static final int	INEQUALITY__SUBTERM	7
public static final int	INEQUALITY_FEATURE_COUNT	10
public static final int	NOT	7
public static final int	NOT__CONTAINER_CONDITION	4
public static final int	NOT__CONTAINER_HL_ANNOTATION	5
public static final int	NOT__CONTAINER_HL_MARKING	3
public static final int	NOT__CONTAINER_NAMED_OPERATOR	2
public static final int	NOT__CONTAINER_OPERATOR	1
public static final int	NOT__CONTAINER_PARTITION_ELEMENT	6
public static final int	NOT__INPUT	9
public static final int	NOT__OUTPUT	8
public static final int	NOT__SORT	0
public static final int	NOT__SUBTERM	7
public static final int	NOT_FEATURE_COUNT	10
public static final int	OR	3
public static final int	OR__CONTAINER_CONDITION	4
public static final int	OR__CONTAINER_HL_ANNOTATION	5
public static final int	OR__CONTAINER_HL_MARKING	3
public static final int	OR__CONTAINER_NAMED_OPERATOR	2
public static final int	OR__CONTAINER_OPERATOR	1
public static final int	OR__CONTAINER_PARTITION_ELEMENT	6
public static final int	OR__INPUT	9
public static final int	OR__OUTPUT	8
public static final int	OR__SORT	0
public static final int	OR__SUBTERM	7
public static final int	OR_FEATURE_COUNT	10

fr.lip6.move.pnml.hlpn.booleans.util.BooleansValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.hlpn.booleans"

fr.lip6.move.pnml.hlpn.cyclicEnumerations.CyclicEnumerationsPackage

Modifier and Type	Constant Field	Value
public static final int	CYCLIC_ENUM_OPERATOR	0
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_CONDITION	4
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_OPERATOR	1
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	CYCLIC_ENUM_OPERATOR__INPUT	9
public static final int	CYCLIC_ENUM_OPERATOR__OUTPUT	8
public static final int	CYCLIC_ENUM_OPERATOR__SORT	0
public static final int	CYCLIC_ENUM_OPERATOR__SUBTERM	7
public static final int	CYCLIC_ENUM_OPERATOR_FEATURE_COUNT	10
public static final int	CYCLIC_ENUMERATION	1
public static final int	CYCLIC_ENUMERATION__CONTAINER_ALL	5
public static final int	CYCLIC_ENUMERATION__CONTAINER_EMPTY	6
public static final int	CYCLIC_ENUMERATION__CONTAINER_EMPTY_LIST	9
public static final int	CYCLIC_ENUMERATION__CONTAINER_LIST	8
public static final int	CYCLIC_ENUMERATION__CONTAINER_MAKE_LIST	10
public static final int	CYCLIC_ENUMERATION__CONTAINER_NAMED_SORT	1
public static final int	CYCLIC_ENUMERATION__CONTAINER_PARTITION	7
public static final int	CYCLIC_ENUMERATION__CONTAINER_PRODUCT_SORT	3
public static final int	CYCLIC_ENUMERATION__CONTAINER_TYPE	4
public static final int	CYCLIC_ENUMERATION__CONTAINER_VARIABLE_DECL	2
public static final int	CYCLIC_ENUMERATION__ELEMENTS	11
public static final int	CYCLIC_ENUMERATION__MULTI	0
public static final int	CYCLIC_ENUMERATION_FEATURE_COUNT	12
public static final String	eNAME	"cyclicEnumerations"
public static final String	eNS_PREFIX	"cyclicEnumerations"
public static final String	eNS_URI	"http:///hlpn.cyclicEnumerations.ecore"
public static final int	PREDECESSOR	3
public static final int	PREDECESSOR__CONTAINER_CONDITION	4
public static final int	PREDECESSOR__CONTAINER_HL_ANNOTATION	5
public static final int	PREDECESSOR__CONTAINER_HL_MARKING	3
public static final int	PREDECESSOR__CONTAINER_NAMED_OPERATOR	2
public static final int	PREDECESSOR__CONTAINER_OPERATOR	1
public static final int	PREDECESSOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	PREDECESSOR__INPUT	9
public static final int	PREDECESSOR__OUTPUT	8
public static final int	PREDECESSOR__SORT	0
public static final int	PREDECESSOR__SUBTERM	7
public static final int	PREDECESSOR_FEATURE_COUNT	10
public static final int	SUCCESSOR	2
public static final int	SUCCESSOR__CONTAINER_CONDITION	4
public static final int	SUCCESSOR__CONTAINER_HL_ANNOTATION	5
public static final int	SUCCESSOR__CONTAINER_HL_MARKING	3
public static final int	SUCCESSOR__CONTAINER_NAMED_OPERATOR	2
public static final int	SUCCESSOR__CONTAINER_OPERATOR	1
public static final int	SUCCESSOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUCCESSOR__INPUT	9
public static final int	SUCCESSOR__OUTPUT	8
public static final int	SUCCESSOR__SORT	0
public static final int	SUCCESSOR__SUBTERM	7
public static final int	SUCCESSOR_FEATURE_COUNT	10

fr.lip6.move.pnml.hlpn.cyclicEnumerations.util.CyclicEnumerationsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.hlpn.cyclicEnumerations"

fr.lip6.move.pnml.hlpn.dots.DotsPackage

Modifier and Type	Constant Field	Value
public static final int	DOT	0
public static final int	DOT__CONTAINER_ALL	5
public static final int	DOT__CONTAINER_EMPTY	6
public static final int	DOT__CONTAINER_EMPTY_LIST	9
public static final int	DOT__CONTAINER_LIST	8
public static final int	DOT__CONTAINER_MAKE_LIST	10
public static final int	DOT__CONTAINER_NAMED_SORT	1
public static final int	DOT__CONTAINER_PARTITION	7
public static final int	DOT__CONTAINER_PRODUCT_SORT	3
public static final int	DOT__CONTAINER_TYPE	4
public static final int	DOT__CONTAINER_VARIABLE_DECL	2
public static final int	DOT__MULTI	0
public static final int	DOT_CONSTANT	1
public static final int	DOT_CONSTANT__CONTAINER_CONDITION	4
public static final int	DOT_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	DOT_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	DOT_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	DOT_CONSTANT__CONTAINER_OPERATOR	1
public static final int	DOT_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	DOT_CONSTANT__INPUT	9
public static final int	DOT_CONSTANT__OUTPUT	8
public static final int	DOT_CONSTANT__SORT	0
public static final int	DOT_CONSTANT__SUBTERM	7
public static final int	DOT_CONSTANT_FEATURE_COUNT	10
public static final int	DOT_FEATURE_COUNT	11
public static final String	eNAME	"dots"
public static final String	eNS_PREFIX	"dots"
public static final String	eNS_URI	"http:///hlpn.dots.ecore"

fr.lip6.move.pnml.hlpn.finiteEnumerations.FiniteEnumerationsPackage

Modifier and Type	Constant Field	Value
public static final String	eNAME	"finiteEnumerations"
public static final String	eNS_PREFIX	"finiteEnumerations"
public static final String	eNS_URI	"http:///hlpn.finiteEnumerations.ecore"
public static final int	FE_CONSTANT	1
public static final int	FE_CONSTANT__CONTAINER_DECLARATIONS	2
public static final int	FE_CONSTANT__ID	0
public static final int	FE_CONSTANT__NAME	1
public static final int	FE_CONSTANT__SORT	3
public static final int	FE_CONSTANT_FEATURE_COUNT	4
public static final int	FINITE_ENUMERATION	0
public static final int	FINITE_ENUMERATION__CONTAINER_ALL	5
public static final int	FINITE_ENUMERATION__CONTAINER_EMPTY	6
public static final int	FINITE_ENUMERATION__CONTAINER_EMPTY_LIST	9
public static final int	FINITE_ENUMERATION__CONTAINER_LIST	8
public static final int	FINITE_ENUMERATION__CONTAINER_MAKE_LIST	10
public static final int	FINITE_ENUMERATION__CONTAINER_NAMED_SORT	1
public static final int	FINITE_ENUMERATION__CONTAINER_PARTITION	7
public static final int	FINITE_ENUMERATION__CONTAINER_PRODUCT_SORT	3
public static final int	FINITE_ENUMERATION__CONTAINER_TYPE	4
public static final int	FINITE_ENUMERATION__CONTAINER_VARIABLE_DECL	2
public static final int	FINITE_ENUMERATION__ELEMENTS	11
public static final int	FINITE_ENUMERATION__MULTI	0
public static final int	FINITE_ENUMERATION_FEATURE_COUNT	12

fr.lip6.move.pnml.hlpn.finiteIntRanges.FiniteIntRangesPackage

Modifier and Type	Constant Field	Value
public static final String	eNAME	"finiteIntRanges"
public static final String	eNS_PREFIX	"finiteIntRanges"
public static final String	eNS_URI	"http:///hlpn.finiteIntRanges.ecore"
public static final int	FINITE_INT_RANGE	0
public static final int	FINITE_INT_RANGE__CONTAINER_ALL	5
public static final int	FINITE_INT_RANGE__CONTAINER_EMPTY	6
public static final int	FINITE_INT_RANGE__CONTAINER_EMPTY_LIST	9
public static final int	FINITE_INT_RANGE__CONTAINER_FINITE_INT_RANGE_CONSTANT	13
public static final int	FINITE_INT_RANGE__CONTAINER_LIST	8
public static final int	FINITE_INT_RANGE__CONTAINER_MAKE_LIST	10
public static final int	FINITE_INT_RANGE__CONTAINER_NAMED_SORT	1
public static final int	FINITE_INT_RANGE__CONTAINER_PARTITION	7
public static final int	FINITE_INT_RANGE__CONTAINER_PRODUCT_SORT	3
public static final int	FINITE_INT_RANGE__CONTAINER_TYPE	4
public static final int	FINITE_INT_RANGE__CONTAINER_VARIABLE_DECL	2
public static final int	FINITE_INT_RANGE__END	12
public static final int	FINITE_INT_RANGE__MULTI	0
public static final int	FINITE_INT_RANGE__START	11
public static final int	FINITE_INT_RANGE_CONSTANT	1
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_CONDITION	4
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_OPERATOR	1
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	FINITE_INT_RANGE_CONSTANT__INPUT	9
public static final int	FINITE_INT_RANGE_CONSTANT__OUTPUT	8
public static final int	FINITE_INT_RANGE_CONSTANT__RANGE	11
public static final int	FINITE_INT_RANGE_CONSTANT__SORT	0
public static final int	FINITE_INT_RANGE_CONSTANT__SUBTERM	7
public static final int	FINITE_INT_RANGE_CONSTANT__VALUE	10
public static final int	FINITE_INT_RANGE_CONSTANT_FEATURE_COUNT	12
public static final int	FINITE_INT_RANGE_FEATURE_COUNT	14
public static final int	FINITE_INT_RANGE_OPERATOR	3
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_CONDITION	4
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_OPERATOR	1
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	FINITE_INT_RANGE_OPERATOR__INPUT	9
public static final int	FINITE_INT_RANGE_OPERATOR__OUTPUT	8
public static final int	FINITE_INT_RANGE_OPERATOR__SORT	0
public static final int	FINITE_INT_RANGE_OPERATOR__SUBTERM	7
public static final int	FINITE_INT_RANGE_OPERATOR_FEATURE_COUNT	10
public static final int	GREATER_THAN	4
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	GREATER_THAN_OR_EQUAL	6
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN_OR_EQUAL__INPUT	9
public static final int	GREATER_THAN_OR_EQUAL__OUTPUT	8
public static final int	GREATER_THAN_OR_EQUAL__SORT	0
public static final int	GREATER_THAN_OR_EQUAL__SUBTERM	7
public static final int	GREATER_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	LESS_THAN	2
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN_OR_EQUAL	5
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN_OR_EQUAL__INPUT	9
public static final int	LESS_THAN_OR_EQUAL__OUTPUT	8
public static final int	LESS_THAN_OR_EQUAL__SORT	0
public static final int	LESS_THAN_OR_EQUAL__SUBTERM	7
public static final int	LESS_THAN_OR_EQUAL_FEATURE_COUNT	10

fr.lip6.move.pnml.hlpn.finiteIntRanges.util.FiniteIntRangesValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.hlpn.finiteIntRanges"

fr.lip6.move.pnml.hlpn.hlcorestructure.CSS2Color

Modifier and Type	Constant Field	Value
public static final int	AQUA_VALUE	0
public static final int	BLACK_VALUE	1
public static final int	BLUE_VALUE	2
public static final int	FUCHSIA_VALUE	3
public static final int	GRAY_VALUE	4
public static final int	GREEN_VALUE	5
public static final int	LIME_VALUE	6
public static final int	MAROON_VALUE	7
public static final int	NAVY_VALUE	8
public static final int	OLIVE_VALUE	9
public static final int	ORANGE_VALUE	10
public static final int	PURPLE_VALUE	11
public static final int	RED_VALUE	12
public static final int	SILVER_VALUE	13
public static final int	TEAL_VALUE	14
public static final int	WHITE_VALUE	15
public static final int	YELLOW_VALUE	16

fr.lip6.move.pnml.hlpn.hlcorestructure.CSS2FontFamily

Modifier and Type	Constant Field	Value
public static final int	ARIAL_VALUE	1
public static final int	GEORGIA_VALUE	3
public static final int	TIMES_VALUE	2
public static final int	TREBUCHET_VALUE	4
public static final int	VERDANA_VALUE	0

fr.lip6.move.pnml.hlpn.hlcorestructure.CSS2FontSize

Modifier and Type	Constant Field	Value
public static final int	LARGE_VALUE	4
public static final int	MEDIUM_VALUE	3
public static final int	SMALL_VALUE	2
public static final int	XLARGE_VALUE	5
public static final int	XSMALL_VALUE	1
public static final int	XXLARGE_VALUE	6
public static final int	XXSMALL_VALUE	0

fr.lip6.move.pnml.hlpn.hlcorestructure.CSS2FontStyle

Modifier and Type	Constant Field	Value
public static final int	ITALIC_VALUE	1
public static final int	NORMAL_VALUE	0
public static final int	OBLIQUE_VALUE	2

fr.lip6.move.pnml.hlpn.hlcorestructure.CSS2FontWeight

Modifier and Type	Constant Field	Value
public static final int	BOLD_VALUE	1
public static final int	BOLDER_VALUE	2
public static final int	LIGHTER_VALUE	3
public static final int	NORMAL_VALUE	0

fr.lip6.move.pnml.hlpn.hlcorestructure.FontAlign

Modifier and Type	Constant Field	Value
public static final int	CENTER_VALUE	1
public static final int	LEFT_VALUE	0
public static final int	RIGHT_VALUE	2

fr.lip6.move.pnml.hlpn.hlcorestructure.FontDecoration

Modifier and Type	Constant Field	Value
public static final int	LINETHROUGH_VALUE	2
public static final int	OVERLINE_VALUE	1
public static final int	UNDERLINE_VALUE	0

fr.lip6.move.pnml.hlpn.hlcorestructure.Gradient

Modifier and Type	Constant Field	Value
public static final int	DIAGONAL_VALUE	2
public static final int	HORIZONTAL_VALUE	0
public static final int	VERTICAL_VALUE	1

fr.lip6.move.pnml.hlpn.hlcorestructure.HlcorestructurePackage

Modifier and Type	Constant Field	Value
public static final int	ANNOTATION	27
public static final int	ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	ANNOTATION__TOOLSPECIFICS	0
public static final int	ANNOTATION_FEATURE_COUNT	2
public static final int	ANNOTATION_GRAPHICS	13
public static final int	ANNOTATION_GRAPHICS__CONTAINER_ANNOTATION	4
public static final int	ANNOTATION_GRAPHICS__FILL	1
public static final int	ANNOTATION_GRAPHICS__FONT	3
public static final int	ANNOTATION_GRAPHICS__LINE	2
public static final int	ANNOTATION_GRAPHICS__OFFSET	0
public static final int	ANNOTATION_GRAPHICS_FEATURE_COUNT	5
public static final int	ANY_OBJECT	28
public static final int	ANY_OBJECT__CONTAINER_ANY_SORT	2
public static final int	ANY_OBJECT__CONTAINER_ARBITRARY_SORT	3
public static final int	ANY_OBJECT__CONTAINER_TOOL_INFO	0
public static final int	ANY_OBJECT__CONTAINER_UNPARSED	1
public static final int	ANY_OBJECT_FEATURE_COUNT	4
public static final int	ARC	17
public static final int	ARC__ARCGRAPHICS	6
public static final int	ARC__CONTAINER_PAGE	3
public static final int	ARC__HLINSCRIPTION	7
public static final int	ARC__ID	0
public static final int	ARC__NAME	1
public static final int	ARC__SOURCE	4
public static final int	ARC__TARGET	5
public static final int	ARC__TOOLSPECIFICS	2
public static final int	ARC_FEATURE_COUNT	8
public static final int	ARC_GRAPHICS	16
public static final int	ARC_GRAPHICS__CONTAINER_ARC	2
public static final int	ARC_GRAPHICS__LINE	1
public static final int	ARC_GRAPHICS__POSITIONS	0
public static final int	ARC_GRAPHICS_FEATURE_COUNT	3
public static final int	ATTRIBUTE	26
public static final int	ATTRIBUTE__TOOLSPECIFICS	0
public static final int	ATTRIBUTE_FEATURE_COUNT	1
public static final int	CONDITION	32
public static final int	CONDITION__ANNOTATIONGRAPHICS	1
public static final int	CONDITION__CONTAINER_TRANSITION	4
public static final int	CONDITION__STRUCTURE	3
public static final int	CONDITION__TEXT	2
public static final int	CONDITION__TOOLSPECIFICS	0
public static final int	CONDITION_FEATURE_COUNT	5
public static final int	COORDINATE	9
public static final int	COORDINATE__X	0
public static final int	COORDINATE__Y	1
public static final int	COORDINATE_FEATURE_COUNT	2
public static final int	CSS2_COLOR	36
public static final int	CSS2_FONT_FAMILY	41
public static final int	CSS2_FONT_SIZE	42
public static final int	CSS2_FONT_STYLE	43
public static final int	CSS2_FONT_WEIGHT	44
public static final int	DECLARATION	34
public static final int	DECLARATION__ANNOTATIONGRAPHICS	1
public static final int	DECLARATION__CONTAINER_DECLARATION_PAGE	5
public static final int	DECLARATION__CONTAINER_DECLARATION_PETRI_NET	4
public static final int	DECLARATION__STRUCTURE	3
public static final int	DECLARATION__TEXT	2
public static final int	DECLARATION__TOOLSPECIFICS	0
public static final int	DECLARATION_FEATURE_COUNT	6
public static final int	DIMENSION	12
public static final int	DIMENSION__CONTAINER_DNODE_GRAPHICS	2
public static final int	DIMENSION__X	0
public static final int	DIMENSION__Y	1
public static final int	DIMENSION_FEATURE_COUNT	3
public static final String	eNAME	"hlcorestructure"
public static final String	eNS_PREFIX	"hlcorestructure"
public static final String	eNS_URI	"http:///hlpn.hlcorestructure.ecore"
public static final int	FILL	14
public static final int	FILL__COLOR	0
public static final int	FILL__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	FILL__CONTAINER_NODE_GRAPHICS	4
public static final int	FILL__GRADIENTCOLOR	1
public static final int	FILL__GRADIENTROTATION	2
public static final int	FILL__IMAGE	3
public static final int	FILL_FEATURE_COUNT	6
public static final int	FONT	19
public static final int	FONT__ALIGN	0
public static final int	FONT__CONTAINER_ANNOTATION_GRAPHICS	7
public static final int	FONT__DECORATION	1
public static final int	FONT__FAMILY	2
public static final int	FONT__ROTATION	3
public static final int	FONT__SIZE	4
public static final int	FONT__STYLE	5
public static final int	FONT__WEIGHT	6
public static final int	FONT_ALIGN	39
public static final int	FONT_DECORATION	40
public static final int	FONT_FEATURE_COUNT	8
public static final int	GRADIENT	37
public static final int	GRAPHICS	8
public static final int	GRAPHICS_FEATURE_COUNT	0
public static final int	HL_ANNOTATION	33
public static final int	HL_ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	HL_ANNOTATION__CONTAINER_ARC	4
public static final int	HL_ANNOTATION__STRUCTURE	3
public static final int	HL_ANNOTATION__TEXT	2
public static final int	HL_ANNOTATION__TOOLSPECIFICS	0
public static final int	HL_ANNOTATION_FEATURE_COUNT	5
public static final int	HL_CORE_ANNOTATION	29
public static final int	HL_CORE_ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	HL_CORE_ANNOTATION__TEXT	2
public static final int	HL_CORE_ANNOTATION__TOOLSPECIFICS	0
public static final int	HL_CORE_ANNOTATION_FEATURE_COUNT	3
public static final int	HL_MARKING	31
public static final int	HL_MARKING__ANNOTATIONGRAPHICS	1
public static final int	HL_MARKING__CONTAINER_PLACE	4
public static final int	HL_MARKING__STRUCTURE	3
public static final int	HL_MARKING__TEXT	2
public static final int	HL_MARKING__TOOLSPECIFICS	0
public static final int	HL_MARKING_FEATURE_COUNT	5
public static final int	LABEL	6
public static final int	LABEL__TOOLSPECIFICS	0
public static final int	LABEL_FEATURE_COUNT	1
public static final int	LINE	15
public static final int	LINE__COLOR	0
public static final int	LINE__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	LINE__CONTAINER_ARC_GRAPHICS	4
public static final int	LINE__CONTAINER_NODE_GRAPHICS	3
public static final int	LINE__SHAPE	1
public static final int	LINE__STYLE	6
public static final int	LINE__WIDTH	2
public static final int	LINE_FEATURE_COUNT	7
public static final int	LINE_SHAPE	38
public static final int	LINE_STYLE	45
public static final int	LONG_STRING	47
public static final int	NAME	4
public static final int	NAME__ANNOTATIONGRAPHICS	1
public static final int	NAME__CONTAINER_NAME_PETRI_NET	3
public static final int	NAME__CONTAINER_NAME_PN_OBJECT	4
public static final int	NAME__TEXT	2
public static final int	NAME__TOOLSPECIFICS	0
public static final int	NAME_FEATURE_COUNT	5
public static final int	NODE	18
public static final int	NODE__CONTAINER_PAGE	3
public static final int	NODE__ID	0
public static final int	NODE__IN_ARCS	4
public static final int	NODE__NAME	1
public static final int	NODE__NODEGRAPHICS	6
public static final int	NODE__OUT_ARCS	5
public static final int	NODE__TOOLSPECIFICS	2
public static final int	NODE_FEATURE_COUNT	7
public static final int	NODE_GRAPHICS	7
public static final int	NODE_GRAPHICS__CONTAINER_NODE	4
public static final int	NODE_GRAPHICS__CONTAINER_PAGE	5
public static final int	NODE_GRAPHICS__DIMENSION	1
public static final int	NODE_GRAPHICS__FILL	2
public static final int	NODE_GRAPHICS__LINE	3
public static final int	NODE_GRAPHICS__POSITION	0
public static final int	NODE_GRAPHICS_FEATURE_COUNT	6
public static final int	OFFSET	11
public static final int	OFFSET__CONTAINER_ANNOTATION_GRAPHICS	2
public static final int	OFFSET__X	0
public static final int	OFFSET__Y	1
public static final int	OFFSET_FEATURE_COUNT	3
public static final int	PAGE	2
public static final int	PAGE__CONTAINER_PAGE	3
public static final int	PAGE__CONTAINER_PETRI_NET	5
public static final int	PAGE__DECLARATION	7
public static final int	PAGE__ID	0
public static final int	PAGE__NAME	1
public static final int	PAGE__NODEGRAPHICS	6
public static final int	PAGE__OBJECTS	4
public static final int	PAGE__TOOLSPECIFICS	2
public static final int	PAGE_FEATURE_COUNT	8
public static final int	PETRI_NET	1
public static final int	PETRI_NET__CONTAINER_PETRI_NET_DOC	5
public static final int	PETRI_NET__DECLARATION	6
public static final int	PETRI_NET__ID	0
public static final int	PETRI_NET__NAME	3
public static final int	PETRI_NET__PAGES	2
public static final int	PETRI_NET__TOOLSPECIFICS	4
public static final int	PETRI_NET__TYPE	1
public static final int	PETRI_NET_DOC	0
public static final int	PETRI_NET_DOC__NETS	0
public static final int	PETRI_NET_DOC__XMLNS	1
public static final int	PETRI_NET_DOC_FEATURE_COUNT	2
public static final int	PETRI_NET_FEATURE_COUNT	7
public static final int	PLACE	22
public static final int	PLACE__CONTAINER_PAGE	3
public static final int	PLACE__HLINITIAL_MARKING	9
public static final int	PLACE__ID	0
public static final int	PLACE__IN_ARCS	4
public static final int	PLACE__NAME	1
public static final int	PLACE__NODEGRAPHICS	6
public static final int	PLACE__OUT_ARCS	5
public static final int	PLACE__REFERENCING_PLACES	7
public static final int	PLACE__TOOLSPECIFICS	2
public static final int	PLACE__TYPE	8
public static final int	PLACE_FEATURE_COUNT	10
public static final int	PLACE_NODE	20
public static final int	PLACE_NODE__CONTAINER_PAGE	3
public static final int	PLACE_NODE__ID	0
public static final int	PLACE_NODE__IN_ARCS	4
public static final int	PLACE_NODE__NAME	1
public static final int	PLACE_NODE__NODEGRAPHICS	6
public static final int	PLACE_NODE__OUT_ARCS	5
public static final int	PLACE_NODE__REFERENCING_PLACES	7
public static final int	PLACE_NODE__TOOLSPECIFICS	2
public static final int	PLACE_NODE_FEATURE_COUNT	8
public static final int	PN_OBJECT	3
public static final int	PN_OBJECT__CONTAINER_PAGE	3
public static final int	PN_OBJECT__ID	0
public static final int	PN_OBJECT__NAME	1
public static final int	PN_OBJECT__TOOLSPECIFICS	2
public static final int	PN_OBJECT_FEATURE_COUNT	4
public static final int	PN_TYPE	35
public static final int	POSITION	10
public static final int	POSITION__CONTAINER_ARC_GRAPHICS	2
public static final int	POSITION__CONTAINER_PNODE_GRAPHICS	3
public static final int	POSITION__X	0
public static final int	POSITION__Y	1
public static final int	POSITION_FEATURE_COUNT	4
public static final int	REF_PLACE	25
public static final int	REF_PLACE__CONTAINER_PAGE	3
public static final int	REF_PLACE__ID	0
public static final int	REF_PLACE__IN_ARCS	4
public static final int	REF_PLACE__NAME	1
public static final int	REF_PLACE__NODEGRAPHICS	6
public static final int	REF_PLACE__OUT_ARCS	5
public static final int	REF_PLACE__REF	8
public static final int	REF_PLACE__REFERENCING_PLACES	7
public static final int	REF_PLACE__TOOLSPECIFICS	2
public static final int	REF_PLACE_FEATURE_COUNT	9
public static final int	REF_TRANSITION	23
public static final int	REF_TRANSITION__CONTAINER_PAGE	3
public static final int	REF_TRANSITION__ID	0
public static final int	REF_TRANSITION__IN_ARCS	4
public static final int	REF_TRANSITION__NAME	1
public static final int	REF_TRANSITION__NODEGRAPHICS	6
public static final int	REF_TRANSITION__OUT_ARCS	5
public static final int	REF_TRANSITION__REF	8
public static final int	REF_TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	REF_TRANSITION__TOOLSPECIFICS	2
public static final int	REF_TRANSITION_FEATURE_COUNT	9
public static final int	TOOL_INFO	5
public static final int	TOOL_INFO__CONTAINER_LABEL	6
public static final int	TOOL_INFO__CONTAINER_PETRI_NET	4
public static final int	TOOL_INFO__CONTAINER_PN_OBJECT	5
public static final int	TOOL_INFO__FORMATTED_XML_BUFFER	2
public static final int	TOOL_INFO__TOOL	0
public static final int	TOOL_INFO__TOOL_INFO_GRAMMAR_URI	3
public static final int	TOOL_INFO__TOOL_INFO_MODEL	7
public static final int	TOOL_INFO__VERSION	1
public static final int	TOOL_INFO_FEATURE_COUNT	8
public static final int	TRANSITION	24
public static final int	TRANSITION__CONDITION	8
public static final int	TRANSITION__CONTAINER_PAGE	3
public static final int	TRANSITION__ID	0
public static final int	TRANSITION__IN_ARCS	4
public static final int	TRANSITION__NAME	1
public static final int	TRANSITION__NODEGRAPHICS	6
public static final int	TRANSITION__OUT_ARCS	5
public static final int	TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION__TOOLSPECIFICS	2
public static final int	TRANSITION_FEATURE_COUNT	9
public static final int	TRANSITION_NODE	21
public static final int	TRANSITION_NODE__CONTAINER_PAGE	3
public static final int	TRANSITION_NODE__ID	0
public static final int	TRANSITION_NODE__IN_ARCS	4
public static final int	TRANSITION_NODE__NAME	1
public static final int	TRANSITION_NODE__NODEGRAPHICS	6
public static final int	TRANSITION_NODE__OUT_ARCS	5
public static final int	TRANSITION_NODE__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION_NODE__TOOLSPECIFICS	2
public static final int	TRANSITION_NODE_FEATURE_COUNT	8
public static final int	TYPE	30
public static final int	TYPE__ANNOTATIONGRAPHICS	1
public static final int	TYPE__CONTAINER_PLACE	4
public static final int	TYPE__STRUCTURE	3
public static final int	TYPE__TEXT	2
public static final int	TYPE__TOOLSPECIFICS	0
public static final int	TYPE_FEATURE_COUNT	5
public static final int	URI	46

fr.lip6.move.pnml.hlpn.hlcorestructure.LineShape

Modifier and Type	Constant Field	Value
public static final int	CURVE_VALUE	1
public static final int	LINE_VALUE	0

fr.lip6.move.pnml.hlpn.hlcorestructure.LineStyle

Modifier and Type	Constant Field	Value
public static final int	DASH_VALUE	1
public static final int	DOT_VALUE	2
public static final int	SOLID_VALUE	0

fr.lip6.move.pnml.hlpn.hlcorestructure.PNType

Modifier and Type	Constant Field	Value
public static final int	COREMODEL_VALUE	0
public static final int	HLPN_VALUE	3
public static final int	PTNET_VALUE	1
public static final int	SYMNET_VALUE	2

fr.lip6.move.pnml.hlpn.hlcorestructure.impl.PetriNetDocImpl

Modifier and Type	Constant Field	Value
protected static final String	XMLNS_EDEFAULT	"http://www.pnml.org/version-2009/grammar/pnml"

fr.lip6.move.pnml.hlpn.hlcorestructure.impl.PetriNetImpl

Modifier and Type	Constant Field	Value
protected static final String	ID_EDEFAULT	""

fr.lip6.move.pnml.hlpn.hlcorestructure.util.HlcorestructureValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.hlpn.hlcorestructure"

fr.lip6.move.pnml.hlpn.integers.IntegersPackage

Modifier and Type	Constant Field	Value
public static final int	ADDITION	6
public static final int	ADDITION__CONTAINER_CONDITION	4
public static final int	ADDITION__CONTAINER_HL_ANNOTATION	5
public static final int	ADDITION__CONTAINER_HL_MARKING	3
public static final int	ADDITION__CONTAINER_NAMED_OPERATOR	2
public static final int	ADDITION__CONTAINER_OPERATOR	1
public static final int	ADDITION__CONTAINER_PARTITION_ELEMENT	6
public static final int	ADDITION__INPUT	9
public static final int	ADDITION__OUTPUT	8
public static final int	ADDITION__SORT	0
public static final int	ADDITION__SUBTERM	7
public static final int	ADDITION_FEATURE_COUNT	10
public static final int	DIVISION	9
public static final int	DIVISION__CONTAINER_CONDITION	4
public static final int	DIVISION__CONTAINER_HL_ANNOTATION	5
public static final int	DIVISION__CONTAINER_HL_MARKING	3
public static final int	DIVISION__CONTAINER_NAMED_OPERATOR	2
public static final int	DIVISION__CONTAINER_OPERATOR	1
public static final int	DIVISION__CONTAINER_PARTITION_ELEMENT	6
public static final int	DIVISION__INPUT	9
public static final int	DIVISION__OUTPUT	8
public static final int	DIVISION__SORT	0
public static final int	DIVISION__SUBTERM	7
public static final int	DIVISION_FEATURE_COUNT	10
public static final String	eNAME	"integers"
public static final String	eNS_PREFIX	"integers"
public static final String	eNS_URI	"http:///hlpn.integers.ecore"
public static final int	GREATER_THAN	11
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	GREATER_THAN_OR_EQUAL	12
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN_OR_EQUAL__INPUT	9
public static final int	GREATER_THAN_OR_EQUAL__OUTPUT	8
public static final int	GREATER_THAN_OR_EQUAL__SORT	0
public static final int	GREATER_THAN_OR_EQUAL__SUBTERM	7
public static final int	GREATER_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	HL_INTEGER	3
public static final int	HL_INTEGER__CONTAINER_ALL	5
public static final int	HL_INTEGER__CONTAINER_EMPTY	6
public static final int	HL_INTEGER__CONTAINER_EMPTY_LIST	9
public static final int	HL_INTEGER__CONTAINER_LIST	8
public static final int	HL_INTEGER__CONTAINER_MAKE_LIST	10
public static final int	HL_INTEGER__CONTAINER_NAMED_SORT	1
public static final int	HL_INTEGER__CONTAINER_NUMBER_CONSTANT	11
public static final int	HL_INTEGER__CONTAINER_PARTITION	7
public static final int	HL_INTEGER__CONTAINER_PRODUCT_SORT	3
public static final int	HL_INTEGER__CONTAINER_TYPE	4
public static final int	HL_INTEGER__CONTAINER_VARIABLE_DECL	2
public static final int	HL_INTEGER__MULTI	0
public static final int	HL_INTEGER_FEATURE_COUNT	12
public static final int	HLPN_NUMBER	0
public static final int	HLPN_NUMBER__CONTAINER_ALL	5
public static final int	HLPN_NUMBER__CONTAINER_EMPTY	6
public static final int	HLPN_NUMBER__CONTAINER_EMPTY_LIST	9
public static final int	HLPN_NUMBER__CONTAINER_LIST	8
public static final int	HLPN_NUMBER__CONTAINER_MAKE_LIST	10
public static final int	HLPN_NUMBER__CONTAINER_NAMED_SORT	1
public static final int	HLPN_NUMBER__CONTAINER_NUMBER_CONSTANT	11
public static final int	HLPN_NUMBER__CONTAINER_PARTITION	7
public static final int	HLPN_NUMBER__CONTAINER_PRODUCT_SORT	3
public static final int	HLPN_NUMBER__CONTAINER_TYPE	4
public static final int	HLPN_NUMBER__CONTAINER_VARIABLE_DECL	2
public static final int	HLPN_NUMBER__MULTI	0
public static final int	HLPN_NUMBER_FEATURE_COUNT	12
public static final int	INTEGER_OPERATOR	5
public static final int	INTEGER_OPERATOR__CONTAINER_CONDITION	4
public static final int	INTEGER_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	INTEGER_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	INTEGER_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	INTEGER_OPERATOR__CONTAINER_OPERATOR	1
public static final int	INTEGER_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	INTEGER_OPERATOR__INPUT	9
public static final int	INTEGER_OPERATOR__OUTPUT	8
public static final int	INTEGER_OPERATOR__SORT	0
public static final int	INTEGER_OPERATOR__SUBTERM	7
public static final int	INTEGER_OPERATOR_FEATURE_COUNT	10
public static final int	LESS_THAN	13
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN_OR_EQUAL	14
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN_OR_EQUAL__INPUT	9
public static final int	LESS_THAN_OR_EQUAL__OUTPUT	8
public static final int	LESS_THAN_OR_EQUAL__SORT	0
public static final int	LESS_THAN_OR_EQUAL__SUBTERM	7
public static final int	LESS_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	MODULO	10
public static final int	MODULO__CONTAINER_CONDITION	4
public static final int	MODULO__CONTAINER_HL_ANNOTATION	5
public static final int	MODULO__CONTAINER_HL_MARKING	3
public static final int	MODULO__CONTAINER_NAMED_OPERATOR	2
public static final int	MODULO__CONTAINER_OPERATOR	1
public static final int	MODULO__CONTAINER_PARTITION_ELEMENT	6
public static final int	MODULO__INPUT	9
public static final int	MODULO__OUTPUT	8
public static final int	MODULO__SORT	0
public static final int	MODULO__SUBTERM	7
public static final int	MODULO_FEATURE_COUNT	10
public static final int	MULTIPLICATION	8
public static final int	MULTIPLICATION__CONTAINER_CONDITION	4
public static final int	MULTIPLICATION__CONTAINER_HL_ANNOTATION	5
public static final int	MULTIPLICATION__CONTAINER_HL_MARKING	3
public static final int	MULTIPLICATION__CONTAINER_NAMED_OPERATOR	2
public static final int	MULTIPLICATION__CONTAINER_OPERATOR	1
public static final int	MULTIPLICATION__CONTAINER_PARTITION_ELEMENT	6
public static final int	MULTIPLICATION__INPUT	9
public static final int	MULTIPLICATION__OUTPUT	8
public static final int	MULTIPLICATION__SORT	0
public static final int	MULTIPLICATION__SUBTERM	7
public static final int	MULTIPLICATION_FEATURE_COUNT	10
public static final int	NATURAL	1
public static final int	NATURAL__CONTAINER_ALL	5
public static final int	NATURAL__CONTAINER_EMPTY	6
public static final int	NATURAL__CONTAINER_EMPTY_LIST	9
public static final int	NATURAL__CONTAINER_LIST	8
public static final int	NATURAL__CONTAINER_MAKE_LIST	10
public static final int	NATURAL__CONTAINER_NAMED_SORT	1
public static final int	NATURAL__CONTAINER_NUMBER_CONSTANT	11
public static final int	NATURAL__CONTAINER_PARTITION	7
public static final int	NATURAL__CONTAINER_PRODUCT_SORT	3
public static final int	NATURAL__CONTAINER_TYPE	4
public static final int	NATURAL__CONTAINER_VARIABLE_DECL	2
public static final int	NATURAL__MULTI	0
public static final int	NATURAL_FEATURE_COUNT	12
public static final int	NUMBER_CONSTANT	4
public static final int	NUMBER_CONSTANT__CONTAINER_CONDITION	4
public static final int	NUMBER_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	NUMBER_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	NUMBER_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	NUMBER_CONSTANT__CONTAINER_OPERATOR	1
public static final int	NUMBER_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	NUMBER_CONSTANT__INPUT	9
public static final int	NUMBER_CONSTANT__OUTPUT	8
public static final int	NUMBER_CONSTANT__SORT	0
public static final int	NUMBER_CONSTANT__SUBTERM	7
public static final int	NUMBER_CONSTANT__TYPE	10
public static final int	NUMBER_CONSTANT__VALUE	11
public static final int	NUMBER_CONSTANT_FEATURE_COUNT	12
public static final int	POSITIVE	2
public static final int	POSITIVE__CONTAINER_ALL	5
public static final int	POSITIVE__CONTAINER_EMPTY	6
public static final int	POSITIVE__CONTAINER_EMPTY_LIST	9
public static final int	POSITIVE__CONTAINER_LIST	8
public static final int	POSITIVE__CONTAINER_MAKE_LIST	10
public static final int	POSITIVE__CONTAINER_NAMED_SORT	1
public static final int	POSITIVE__CONTAINER_NUMBER_CONSTANT	11
public static final int	POSITIVE__CONTAINER_PARTITION	7
public static final int	POSITIVE__CONTAINER_PRODUCT_SORT	3
public static final int	POSITIVE__CONTAINER_TYPE	4
public static final int	POSITIVE__CONTAINER_VARIABLE_DECL	2
public static final int	POSITIVE__MULTI	0
public static final int	POSITIVE_FEATURE_COUNT	12
public static final int	SUBTRACTION	7
public static final int	SUBTRACTION__CONTAINER_CONDITION	4
public static final int	SUBTRACTION__CONTAINER_HL_ANNOTATION	5
public static final int	SUBTRACTION__CONTAINER_HL_MARKING	3
public static final int	SUBTRACTION__CONTAINER_NAMED_OPERATOR	2
public static final int	SUBTRACTION__CONTAINER_OPERATOR	1
public static final int	SUBTRACTION__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUBTRACTION__INPUT	9
public static final int	SUBTRACTION__OUTPUT	8
public static final int	SUBTRACTION__SORT	0
public static final int	SUBTRACTION__SUBTERM	7
public static final int	SUBTRACTION_FEATURE_COUNT	10

fr.lip6.move.pnml.hlpn.integers.util.IntegersValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.hlpn.integers"

fr.lip6.move.pnml.hlpn.lists.ListsPackage

Modifier and Type	Constant Field	Value
public static final int	APPEND	3
public static final int	APPEND__CONTAINER_CONDITION	4
public static final int	APPEND__CONTAINER_HL_ANNOTATION	5
public static final int	APPEND__CONTAINER_HL_MARKING	3
public static final int	APPEND__CONTAINER_NAMED_OPERATOR	2
public static final int	APPEND__CONTAINER_OPERATOR	1
public static final int	APPEND__CONTAINER_PARTITION_ELEMENT	6
public static final int	APPEND__INPUT	9
public static final int	APPEND__OUTPUT	8
public static final int	APPEND__SORT	0
public static final int	APPEND__SUBTERM	7
public static final int	APPEND_FEATURE_COUNT	10
public static final int	CONCATENATION	4
public static final int	CONCATENATION__CONTAINER_CONDITION	4
public static final int	CONCATENATION__CONTAINER_HL_ANNOTATION	5
public static final int	CONCATENATION__CONTAINER_HL_MARKING	3
public static final int	CONCATENATION__CONTAINER_NAMED_OPERATOR	2
public static final int	CONCATENATION__CONTAINER_OPERATOR	1
public static final int	CONCATENATION__CONTAINER_PARTITION_ELEMENT	6
public static final int	CONCATENATION__INPUT	9
public static final int	CONCATENATION__OUTPUT	8
public static final int	CONCATENATION__SORT	0
public static final int	CONCATENATION__SUBTERM	7
public static final int	CONCATENATION_FEATURE_COUNT	10
public static final int	EMPTY_LIST	1
public static final int	EMPTY_LIST__CONTAINER_CONDITION	4
public static final int	EMPTY_LIST__CONTAINER_HL_ANNOTATION	5
public static final int	EMPTY_LIST__CONTAINER_HL_MARKING	3
public static final int	EMPTY_LIST__CONTAINER_NAMED_OPERATOR	2
public static final int	EMPTY_LIST__CONTAINER_OPERATOR	1
public static final int	EMPTY_LIST__CONTAINER_PARTITION_ELEMENT	6
public static final int	EMPTY_LIST__INPUT	9
public static final int	EMPTY_LIST__OUTPUT	8
public static final int	EMPTY_LIST__REFSORT	10
public static final int	EMPTY_LIST__SORT	0
public static final int	EMPTY_LIST__SUBTERM	7
public static final int	EMPTY_LIST_FEATURE_COUNT	11
public static final String	eNAME	"lists"
public static final String	eNS_PREFIX	"lists"
public static final String	eNS_URI	"http:///hlpn.lists.ecore"
public static final int	HLPN_LIST	0
public static final int	HLPN_LIST__BASIS	11
public static final int	HLPN_LIST__CONTAINER_ALL	5
public static final int	HLPN_LIST__CONTAINER_EMPTY	6
public static final int	HLPN_LIST__CONTAINER_EMPTY_LIST	9
public static final int	HLPN_LIST__CONTAINER_LIST	8
public static final int	HLPN_LIST__CONTAINER_MAKE_LIST	10
public static final int	HLPN_LIST__CONTAINER_NAMED_SORT	1
public static final int	HLPN_LIST__CONTAINER_PARTITION	7
public static final int	HLPN_LIST__CONTAINER_PRODUCT_SORT	3
public static final int	HLPN_LIST__CONTAINER_TYPE	4
public static final int	HLPN_LIST__CONTAINER_VARIABLE_DECL	2
public static final int	HLPN_LIST__MULTI	0
public static final int	HLPN_LIST_FEATURE_COUNT	12
public static final int	LENGTH	5
public static final int	LENGTH__CONTAINER_CONDITION	4
public static final int	LENGTH__CONTAINER_HL_ANNOTATION	5
public static final int	LENGTH__CONTAINER_HL_MARKING	3
public static final int	LENGTH__CONTAINER_NAMED_OPERATOR	2
public static final int	LENGTH__CONTAINER_OPERATOR	1
public static final int	LENGTH__CONTAINER_PARTITION_ELEMENT	6
public static final int	LENGTH__INPUT	9
public static final int	LENGTH__OUTPUT	8
public static final int	LENGTH__SORT	0
public static final int	LENGTH__SUBTERM	7
public static final int	LENGTH_FEATURE_COUNT	10
public static final int	LIST_OPERATOR	2
public static final int	LIST_OPERATOR__CONTAINER_CONDITION	4
public static final int	LIST_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	LIST_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	LIST_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	LIST_OPERATOR__CONTAINER_OPERATOR	1
public static final int	LIST_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	LIST_OPERATOR__INPUT	9
public static final int	LIST_OPERATOR__OUTPUT	8
public static final int	LIST_OPERATOR__SORT	0
public static final int	LIST_OPERATOR__SUBTERM	7
public static final int	LIST_OPERATOR_FEATURE_COUNT	10
public static final int	MAKE_LIST	6
public static final int	MAKE_LIST__CONTAINER_CONDITION	4
public static final int	MAKE_LIST__CONTAINER_HL_ANNOTATION	5
public static final int	MAKE_LIST__CONTAINER_HL_MARKING	3
public static final int	MAKE_LIST__CONTAINER_NAMED_OPERATOR	2
public static final int	MAKE_LIST__CONTAINER_OPERATOR	1
public static final int	MAKE_LIST__CONTAINER_PARTITION_ELEMENT	6
public static final int	MAKE_LIST__INPUT	9
public static final int	MAKE_LIST__OUTPUT	8
public static final int	MAKE_LIST__REFSORT	10
public static final int	MAKE_LIST__SORT	0
public static final int	MAKE_LIST__SUBTERM	7
public static final int	MAKE_LIST_FEATURE_COUNT	11
public static final int	MEMBER_AT_INDEX	7
public static final int	MEMBER_AT_INDEX__CONTAINER_CONDITION	4
public static final int	MEMBER_AT_INDEX__CONTAINER_HL_ANNOTATION	5
public static final int	MEMBER_AT_INDEX__CONTAINER_HL_MARKING	3
public static final int	MEMBER_AT_INDEX__CONTAINER_NAMED_OPERATOR	2
public static final int	MEMBER_AT_INDEX__CONTAINER_OPERATOR	1
public static final int	MEMBER_AT_INDEX__CONTAINER_PARTITION_ELEMENT	6
public static final int	MEMBER_AT_INDEX__INDEX	10
public static final int	MEMBER_AT_INDEX__INPUT	9
public static final int	MEMBER_AT_INDEX__OUTPUT	8
public static final int	MEMBER_AT_INDEX__SORT	0
public static final int	MEMBER_AT_INDEX__SUBTERM	7
public static final int	MEMBER_AT_INDEX_FEATURE_COUNT	11
public static final int	SUBLIST	8
public static final int	SUBLIST__CONTAINER_CONDITION	4
public static final int	SUBLIST__CONTAINER_HL_ANNOTATION	5
public static final int	SUBLIST__CONTAINER_HL_MARKING	3
public static final int	SUBLIST__CONTAINER_NAMED_OPERATOR	2
public static final int	SUBLIST__CONTAINER_OPERATOR	1
public static final int	SUBLIST__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUBLIST__INPUT	9
public static final int	SUBLIST__LENGTH	11
public static final int	SUBLIST__OUTPUT	8
public static final int	SUBLIST__SORT	0
public static final int	SUBLIST__START	10
public static final int	SUBLIST__SUBTERM	7
public static final int	SUBLIST_FEATURE_COUNT	12

fr.lip6.move.pnml.hlpn.multisets.MultisetsPackage

Modifier and Type	Constant Field	Value
public static final int	ADD	3
public static final int	ADD__CONTAINER_CONDITION	4
public static final int	ADD__CONTAINER_HL_ANNOTATION	5
public static final int	ADD__CONTAINER_HL_MARKING	3
public static final int	ADD__CONTAINER_NAMED_OPERATOR	2
public static final int	ADD__CONTAINER_OPERATOR	1
public static final int	ADD__CONTAINER_PARTITION_ELEMENT	6
public static final int	ADD__INPUT	9
public static final int	ADD__OUTPUT	8
public static final int	ADD__SORT	0
public static final int	ADD__SUBTERM	7
public static final int	ADD_FEATURE_COUNT	10
public static final int	ALL	4
public static final int	ALL__CONTAINER_CONDITION	4
public static final int	ALL__CONTAINER_HL_ANNOTATION	5
public static final int	ALL__CONTAINER_HL_MARKING	3
public static final int	ALL__CONTAINER_NAMED_OPERATOR	2
public static final int	ALL__CONTAINER_OPERATOR	1
public static final int	ALL__CONTAINER_PARTITION_ELEMENT	6
public static final int	ALL__INPUT	9
public static final int	ALL__OUTPUT	8
public static final int	ALL__REFSORT	10
public static final int	ALL__SORT	0
public static final int	ALL__SUBTERM	7
public static final int	ALL_FEATURE_COUNT	11
public static final int	CARDINALITY	0
public static final int	CARDINALITY__CONTAINER_CONDITION	4
public static final int	CARDINALITY__CONTAINER_HL_ANNOTATION	5
public static final int	CARDINALITY__CONTAINER_HL_MARKING	3
public static final int	CARDINALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	CARDINALITY__CONTAINER_OPERATOR	1
public static final int	CARDINALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	CARDINALITY__INPUT	9
public static final int	CARDINALITY__OUTPUT	8
public static final int	CARDINALITY__SORT	0
public static final int	CARDINALITY__SUBTERM	7
public static final int	CARDINALITY_FEATURE_COUNT	10
public static final int	CARDINALITY_OF	2
public static final int	CARDINALITY_OF__CONTAINER_CONDITION	4
public static final int	CARDINALITY_OF__CONTAINER_HL_ANNOTATION	5
public static final int	CARDINALITY_OF__CONTAINER_HL_MARKING	3
public static final int	CARDINALITY_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	CARDINALITY_OF__CONTAINER_OPERATOR	1
public static final int	CARDINALITY_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	CARDINALITY_OF__INPUT	9
public static final int	CARDINALITY_OF__OUTPUT	8
public static final int	CARDINALITY_OF__SORT	0
public static final int	CARDINALITY_OF__SUBTERM	7
public static final int	CARDINALITY_OF_FEATURE_COUNT	10
public static final int	CONTAINS	1
public static final int	CONTAINS__CONTAINER_CONDITION	4
public static final int	CONTAINS__CONTAINER_HL_ANNOTATION	5
public static final int	CONTAINS__CONTAINER_HL_MARKING	3
public static final int	CONTAINS__CONTAINER_NAMED_OPERATOR	2
public static final int	CONTAINS__CONTAINER_OPERATOR	1
public static final int	CONTAINS__CONTAINER_PARTITION_ELEMENT	6
public static final int	CONTAINS__INPUT	9
public static final int	CONTAINS__OUTPUT	8
public static final int	CONTAINS__SORT	0
public static final int	CONTAINS__SUBTERM	7
public static final int	CONTAINS_FEATURE_COUNT	10
public static final int	EMPTY	5
public static final int	EMPTY__CONTAINER_CONDITION	4
public static final int	EMPTY__CONTAINER_HL_ANNOTATION	5
public static final int	EMPTY__CONTAINER_HL_MARKING	3
public static final int	EMPTY__CONTAINER_NAMED_OPERATOR	2
public static final int	EMPTY__CONTAINER_OPERATOR	1
public static final int	EMPTY__CONTAINER_PARTITION_ELEMENT	6
public static final int	EMPTY__INPUT	9
public static final int	EMPTY__OUTPUT	8
public static final int	EMPTY__REFSORT	10
public static final int	EMPTY__SORT	0
public static final int	EMPTY__SUBTERM	7
public static final int	EMPTY_FEATURE_COUNT	11
public static final String	eNAME	"multisets"
public static final String	eNS_PREFIX	"multisets"
public static final String	eNS_URI	"http:///hlpn.multisets.ecore"
public static final int	NUMBER_OF	6
public static final int	NUMBER_OF__CONTAINER_CONDITION	4
public static final int	NUMBER_OF__CONTAINER_HL_ANNOTATION	5
public static final int	NUMBER_OF__CONTAINER_HL_MARKING	3
public static final int	NUMBER_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	NUMBER_OF__CONTAINER_OPERATOR	1
public static final int	NUMBER_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	NUMBER_OF__INPUT	9
public static final int	NUMBER_OF__OUTPUT	8
public static final int	NUMBER_OF__SORT	0
public static final int	NUMBER_OF__SUBTERM	7
public static final int	NUMBER_OF_FEATURE_COUNT	10
public static final int	SCALAR_PRODUCT	8
public static final int	SCALAR_PRODUCT__CONTAINER_CONDITION	4
public static final int	SCALAR_PRODUCT__CONTAINER_HL_ANNOTATION	5
public static final int	SCALAR_PRODUCT__CONTAINER_HL_MARKING	3
public static final int	SCALAR_PRODUCT__CONTAINER_NAMED_OPERATOR	2
public static final int	SCALAR_PRODUCT__CONTAINER_OPERATOR	1
public static final int	SCALAR_PRODUCT__CONTAINER_PARTITION_ELEMENT	6
public static final int	SCALAR_PRODUCT__INPUT	9
public static final int	SCALAR_PRODUCT__OUTPUT	8
public static final int	SCALAR_PRODUCT__SORT	0
public static final int	SCALAR_PRODUCT__SUBTERM	7
public static final int	SCALAR_PRODUCT_FEATURE_COUNT	10
public static final int	SUBTRACT	7
public static final int	SUBTRACT__CONTAINER_CONDITION	4
public static final int	SUBTRACT__CONTAINER_HL_ANNOTATION	5
public static final int	SUBTRACT__CONTAINER_HL_MARKING	3
public static final int	SUBTRACT__CONTAINER_NAMED_OPERATOR	2
public static final int	SUBTRACT__CONTAINER_OPERATOR	1
public static final int	SUBTRACT__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUBTRACT__INPUT	9
public static final int	SUBTRACT__OUTPUT	8
public static final int	SUBTRACT__SORT	0
public static final int	SUBTRACT__SUBTERM	7
public static final int	SUBTRACT_FEATURE_COUNT	10

fr.lip6.move.pnml.hlpn.multisets.util.MultisetsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.hlpn.multisets"

fr.lip6.move.pnml.hlpn.partitions.PartitionsPackage

Modifier and Type	Constant Field	Value
public static final String	eNAME	"partitions"
public static final String	eNS_PREFIX	"partitions"
public static final String	eNS_URI	"http:///hlpn.partitions.ecore"
public static final int	GREATER_THAN	2
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN	5
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	PARTITION	0
public static final int	PARTITION__CONTAINER_DECLARATIONS	2
public static final int	PARTITION__DEF	3
public static final int	PARTITION__ID	0
public static final int	PARTITION__NAME	1
public static final int	PARTITION__PARTITIONELEMENTS	4
public static final int	PARTITION_ELEMENT	1
public static final int	PARTITION_ELEMENT__CONTAINER_DECLARATIONS	2
public static final int	PARTITION_ELEMENT__ID	0
public static final int	PARTITION_ELEMENT__NAME	1
public static final int	PARTITION_ELEMENT__PARTITIONELEMENTCONSTANTS	4
public static final int	PARTITION_ELEMENT__REFPARTITION	3
public static final int	PARTITION_ELEMENT_FEATURE_COUNT	5
public static final int	PARTITION_ELEMENT_OF	3
public static final int	PARTITION_ELEMENT_OF__CONTAINER_CONDITION	4
public static final int	PARTITION_ELEMENT_OF__CONTAINER_HL_ANNOTATION	5
public static final int	PARTITION_ELEMENT_OF__CONTAINER_HL_MARKING	3
public static final int	PARTITION_ELEMENT_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	PARTITION_ELEMENT_OF__CONTAINER_OPERATOR	1
public static final int	PARTITION_ELEMENT_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	PARTITION_ELEMENT_OF__INPUT	9
public static final int	PARTITION_ELEMENT_OF__OUTPUT	8
public static final int	PARTITION_ELEMENT_OF__REFPARTITION	10
public static final int	PARTITION_ELEMENT_OF__SORT	0
public static final int	PARTITION_ELEMENT_OF__SUBTERM	7
public static final int	PARTITION_ELEMENT_OF_FEATURE_COUNT	11
public static final int	PARTITION_FEATURE_COUNT	5
public static final int	PARTITION_OPERATOR	4
public static final int	PARTITION_OPERATOR__CONTAINER_CONDITION	4
public static final int	PARTITION_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	PARTITION_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	PARTITION_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	PARTITION_OPERATOR__CONTAINER_OPERATOR	1
public static final int	PARTITION_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	PARTITION_OPERATOR__INPUT	9
public static final int	PARTITION_OPERATOR__OUTPUT	8
public static final int	PARTITION_OPERATOR__SORT	0
public static final int	PARTITION_OPERATOR__SUBTERM	7
public static final int	PARTITION_OPERATOR_FEATURE_COUNT	10

fr.lip6.move.pnml.hlpn.partitions.util.PartitionsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.hlpn.partitions"

fr.lip6.move.pnml.hlpn.strings.StringsPackage

Modifier and Type	Constant Field	Value
public static final int	APPEND	3
public static final int	APPEND__CONTAINER_CONDITION	4
public static final int	APPEND__CONTAINER_HL_ANNOTATION	5
public static final int	APPEND__CONTAINER_HL_MARKING	3
public static final int	APPEND__CONTAINER_NAMED_OPERATOR	2
public static final int	APPEND__CONTAINER_OPERATOR	1
public static final int	APPEND__CONTAINER_PARTITION_ELEMENT	6
public static final int	APPEND__INPUT	9
public static final int	APPEND__OUTPUT	8
public static final int	APPEND__SORT	0
public static final int	APPEND__SUBTERM	7
public static final int	APPEND_FEATURE_COUNT	10
public static final int	CONCATENATION	4
public static final int	CONCATENATION__CONTAINER_CONDITION	4
public static final int	CONCATENATION__CONTAINER_HL_ANNOTATION	5
public static final int	CONCATENATION__CONTAINER_HL_MARKING	3
public static final int	CONCATENATION__CONTAINER_NAMED_OPERATOR	2
public static final int	CONCATENATION__CONTAINER_OPERATOR	1
public static final int	CONCATENATION__CONTAINER_PARTITION_ELEMENT	6
public static final int	CONCATENATION__INPUT	9
public static final int	CONCATENATION__OUTPUT	8
public static final int	CONCATENATION__SORT	0
public static final int	CONCATENATION__SUBTERM	7
public static final int	CONCATENATION_FEATURE_COUNT	10
public static final String	eNAME	"strings"
public static final String	eNS_PREFIX	"strings"
public static final String	eNS_URI	"http:///hlpn.strings.ecore"
public static final int	GREATER_THAN	5
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	GREATER_THAN_OR_EQUAL	6
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN_OR_EQUAL__INPUT	9
public static final int	GREATER_THAN_OR_EQUAL__OUTPUT	8
public static final int	GREATER_THAN_OR_EQUAL__SORT	0
public static final int	GREATER_THAN_OR_EQUAL__SUBTERM	7
public static final int	GREATER_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	HLPN_STRING	0
public static final int	HLPN_STRING__CONTAINER_ALL	5
public static final int	HLPN_STRING__CONTAINER_EMPTY	6
public static final int	HLPN_STRING__CONTAINER_EMPTY_LIST	9
public static final int	HLPN_STRING__CONTAINER_LIST	8
public static final int	HLPN_STRING__CONTAINER_MAKE_LIST	10
public static final int	HLPN_STRING__CONTAINER_NAMED_SORT	1
public static final int	HLPN_STRING__CONTAINER_PARTITION	7
public static final int	HLPN_STRING__CONTAINER_PRODUCT_SORT	3
public static final int	HLPN_STRING__CONTAINER_TYPE	4
public static final int	HLPN_STRING__CONTAINER_VARIABLE_DECL	2
public static final int	HLPN_STRING__MULTI	0
public static final int	HLPN_STRING_FEATURE_COUNT	11
public static final int	LENGTH	9
public static final int	LENGTH__CONTAINER_CONDITION	4
public static final int	LENGTH__CONTAINER_HL_ANNOTATION	5
public static final int	LENGTH__CONTAINER_HL_MARKING	3
public static final int	LENGTH__CONTAINER_NAMED_OPERATOR	2
public static final int	LENGTH__CONTAINER_OPERATOR	1
public static final int	LENGTH__CONTAINER_PARTITION_ELEMENT	6
public static final int	LENGTH__INPUT	9
public static final int	LENGTH__OUTPUT	8
public static final int	LENGTH__SORT	0
public static final int	LENGTH__SUBTERM	7
public static final int	LENGTH_FEATURE_COUNT	10
public static final int	LESS_THAN	7
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN_OR_EQUAL	8
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN_OR_EQUAL__INPUT	9
public static final int	LESS_THAN_OR_EQUAL__OUTPUT	8
public static final int	LESS_THAN_OR_EQUAL__SORT	0
public static final int	LESS_THAN_OR_EQUAL__SUBTERM	7
public static final int	LESS_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	STRING_CONSTANT	1
public static final int	STRING_CONSTANT__CONTAINER_CONDITION	4
public static final int	STRING_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	STRING_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	STRING_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	STRING_CONSTANT__CONTAINER_OPERATOR	1
public static final int	STRING_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	STRING_CONSTANT__INPUT	9
public static final int	STRING_CONSTANT__OUTPUT	8
public static final int	STRING_CONSTANT__SORT	0
public static final int	STRING_CONSTANT__SUBTERM	7
public static final int	STRING_CONSTANT__VALUE	10
public static final int	STRING_CONSTANT_FEATURE_COUNT	11
public static final int	STRING_OPERATOR	2
public static final int	STRING_OPERATOR__CONTAINER_CONDITION	4
public static final int	STRING_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	STRING_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	STRING_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	STRING_OPERATOR__CONTAINER_OPERATOR	1
public static final int	STRING_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	STRING_OPERATOR__INPUT	9
public static final int	STRING_OPERATOR__OUTPUT	8
public static final int	STRING_OPERATOR__SORT	0
public static final int	STRING_OPERATOR__SUBTERM	7
public static final int	STRING_OPERATOR_FEATURE_COUNT	10
public static final int	SUBSTRING	10
public static final int	SUBSTRING__CONTAINER_CONDITION	4
public static final int	SUBSTRING__CONTAINER_HL_ANNOTATION	5
public static final int	SUBSTRING__CONTAINER_HL_MARKING	3
public static final int	SUBSTRING__CONTAINER_NAMED_OPERATOR	2
public static final int	SUBSTRING__CONTAINER_OPERATOR	1
public static final int	SUBSTRING__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUBSTRING__INPUT	9
public static final int	SUBSTRING__LENGTH	11
public static final int	SUBSTRING__OUTPUT	8
public static final int	SUBSTRING__SORT	0
public static final int	SUBSTRING__START	10
public static final int	SUBSTRING__SUBTERM	7
public static final int	SUBSTRING_FEATURE_COUNT	12

fr.lip6.move.pnml.hlpn.terms.TermsPackage

Modifier and Type	Constant Field	Value
public static final int	BUILT_IN_CONSTANT	10
public static final int	BUILT_IN_CONSTANT__CONTAINER_CONDITION	4
public static final int	BUILT_IN_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	BUILT_IN_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	BUILT_IN_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	BUILT_IN_CONSTANT__CONTAINER_OPERATOR	1
public static final int	BUILT_IN_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	BUILT_IN_CONSTANT__INPUT	9
public static final int	BUILT_IN_CONSTANT__OUTPUT	8
public static final int	BUILT_IN_CONSTANT__SORT	0
public static final int	BUILT_IN_CONSTANT__SUBTERM	7
public static final int	BUILT_IN_CONSTANT_FEATURE_COUNT	10
public static final int	BUILT_IN_OPERATOR	14
public static final int	BUILT_IN_OPERATOR__CONTAINER_CONDITION	4
public static final int	BUILT_IN_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	BUILT_IN_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	BUILT_IN_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	BUILT_IN_OPERATOR__CONTAINER_OPERATOR	1
public static final int	BUILT_IN_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	BUILT_IN_OPERATOR__INPUT	9
public static final int	BUILT_IN_OPERATOR__OUTPUT	8
public static final int	BUILT_IN_OPERATOR__SORT	0
public static final int	BUILT_IN_OPERATOR__SUBTERM	7
public static final int	BUILT_IN_OPERATOR_FEATURE_COUNT	10
public static final int	BUILT_IN_SORT	8
public static final int	BUILT_IN_SORT__CONTAINER_ALL	5
public static final int	BUILT_IN_SORT__CONTAINER_EMPTY	6
public static final int	BUILT_IN_SORT__CONTAINER_EMPTY_LIST	9
public static final int	BUILT_IN_SORT__CONTAINER_LIST	8
public static final int	BUILT_IN_SORT__CONTAINER_MAKE_LIST	10
public static final int	BUILT_IN_SORT__CONTAINER_NAMED_SORT	1
public static final int	BUILT_IN_SORT__CONTAINER_PARTITION	7
public static final int	BUILT_IN_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	BUILT_IN_SORT__CONTAINER_TYPE	4
public static final int	BUILT_IN_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	BUILT_IN_SORT__MULTI	0
public static final int	BUILT_IN_SORT_FEATURE_COUNT	11
public static final int	DECLARATIONS	0
public static final int	DECLARATIONS__CONTAINER_DECLARATION	1
public static final int	DECLARATIONS__DECLARATION	0
public static final int	DECLARATIONS_FEATURE_COUNT	2
public static final String	eNAME	"terms"
public static final String	eNS_PREFIX	"terms"
public static final String	eNS_URI	"http:///hlpn.terms.ecore"
public static final int	MULTISET_OPERATOR	11
public static final int	MULTISET_OPERATOR__CONTAINER_CONDITION	4
public static final int	MULTISET_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	MULTISET_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	MULTISET_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	MULTISET_OPERATOR__CONTAINER_OPERATOR	1
public static final int	MULTISET_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	MULTISET_OPERATOR__INPUT	9
public static final int	MULTISET_OPERATOR__OUTPUT	8
public static final int	MULTISET_OPERATOR__SORT	0
public static final int	MULTISET_OPERATOR__SUBTERM	7
public static final int	MULTISET_OPERATOR_FEATURE_COUNT	10
public static final int	MULTISET_SORT	3
public static final int	MULTISET_SORT__BASIS	11
public static final int	MULTISET_SORT__CONTAINER_ALL	5
public static final int	MULTISET_SORT__CONTAINER_EMPTY	6
public static final int	MULTISET_SORT__CONTAINER_EMPTY_LIST	9
public static final int	MULTISET_SORT__CONTAINER_LIST	8
public static final int	MULTISET_SORT__CONTAINER_MAKE_LIST	10
public static final int	MULTISET_SORT__CONTAINER_NAMED_SORT	1
public static final int	MULTISET_SORT__CONTAINER_PARTITION	7
public static final int	MULTISET_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	MULTISET_SORT__CONTAINER_TYPE	4
public static final int	MULTISET_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	MULTISET_SORT__MULTI	0
public static final int	MULTISET_SORT_FEATURE_COUNT	12
public static final int	NAMED_OPERATOR	18
public static final int	NAMED_OPERATOR__CONTAINER_DECLARATIONS	2
public static final int	NAMED_OPERATOR__DEF	3
public static final int	NAMED_OPERATOR__ID	0
public static final int	NAMED_OPERATOR__NAME	1
public static final int	NAMED_OPERATOR__PARAMETERS	4
public static final int	NAMED_OPERATOR_FEATURE_COUNT	5
public static final int	NAMED_SORT	15
public static final int	NAMED_SORT__CONTAINER_DECLARATIONS	2
public static final int	NAMED_SORT__ID	0
public static final int	NAMED_SORT__NAME	1
public static final int	NAMED_SORT__SORTDEF	3
public static final int	NAMED_SORT_FEATURE_COUNT	4
public static final int	OPERATOR	5
public static final int	OPERATOR__CONTAINER_CONDITION	4
public static final int	OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	OPERATOR__CONTAINER_HL_MARKING	3
public static final int	OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	OPERATOR__CONTAINER_OPERATOR	1
public static final int	OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	OPERATOR__INPUT	9
public static final int	OPERATOR__OUTPUT	8
public static final int	OPERATOR__SORT	0
public static final int	OPERATOR__SUBTERM	7
public static final int	OPERATOR_DECL	17
public static final int	OPERATOR_DECL__CONTAINER_DECLARATIONS	2
public static final int	OPERATOR_DECL__ID	0
public static final int	OPERATOR_DECL__NAME	1
public static final int	OPERATOR_DECL_FEATURE_COUNT	3
public static final int	OPERATOR_FEATURE_COUNT	10
public static final int	PRODUCT_SORT	9
public static final int	PRODUCT_SORT__CONTAINER_ALL	5
public static final int	PRODUCT_SORT__CONTAINER_EMPTY	6
public static final int	PRODUCT_SORT__CONTAINER_EMPTY_LIST	9
public static final int	PRODUCT_SORT__CONTAINER_LIST	8
public static final int	PRODUCT_SORT__CONTAINER_MAKE_LIST	10
public static final int	PRODUCT_SORT__CONTAINER_NAMED_SORT	1
public static final int	PRODUCT_SORT__CONTAINER_PARTITION	7
public static final int	PRODUCT_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	PRODUCT_SORT__CONTAINER_TYPE	4
public static final int	PRODUCT_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	PRODUCT_SORT__ELEMENT_SORT	11
public static final int	PRODUCT_SORT__MULTI	0
public static final int	PRODUCT_SORT_FEATURE_COUNT	12
public static final int	SORT	2
public static final int	SORT__CONTAINER_ALL	5
public static final int	SORT__CONTAINER_EMPTY	6
public static final int	SORT__CONTAINER_EMPTY_LIST	9
public static final int	SORT__CONTAINER_LIST	8
public static final int	SORT__CONTAINER_MAKE_LIST	10
public static final int	SORT__CONTAINER_NAMED_SORT	1
public static final int	SORT__CONTAINER_PARTITION	7
public static final int	SORT__CONTAINER_PRODUCT_SORT	3
public static final int	SORT__CONTAINER_TYPE	4
public static final int	SORT__CONTAINER_VARIABLE_DECL	2
public static final int	SORT__MULTI	0
public static final int	SORT_DECL	13
public static final int	SORT_DECL__CONTAINER_DECLARATIONS	2
public static final int	SORT_DECL__ID	0
public static final int	SORT_DECL__NAME	1
public static final int	SORT_DECL_FEATURE_COUNT	3
public static final int	SORT_FEATURE_COUNT	11
public static final int	TERM	4
public static final int	TERM__CONTAINER_CONDITION	4
public static final int	TERM__CONTAINER_HL_ANNOTATION	5
public static final int	TERM__CONTAINER_HL_MARKING	3
public static final int	TERM__CONTAINER_NAMED_OPERATOR	2
public static final int	TERM__CONTAINER_OPERATOR	1
public static final int	TERM__CONTAINER_PARTITION_ELEMENT	6
public static final int	TERM__SORT	0
public static final int	TERM_FEATURE_COUNT	7
public static final int	TERMS_DECLARATION	1
public static final int	TERMS_DECLARATION__CONTAINER_DECLARATIONS	2
public static final int	TERMS_DECLARATION__ID	0
public static final int	TERMS_DECLARATION__NAME	1
public static final int	TERMS_DECLARATION_FEATURE_COUNT	3
public static final int	TUPLE	12
public static final int	TUPLE__CONTAINER_CONDITION	4
public static final int	TUPLE__CONTAINER_HL_ANNOTATION	5
public static final int	TUPLE__CONTAINER_HL_MARKING	3
public static final int	TUPLE__CONTAINER_NAMED_OPERATOR	2
public static final int	TUPLE__CONTAINER_OPERATOR	1
public static final int	TUPLE__CONTAINER_PARTITION_ELEMENT	6
public static final int	TUPLE__INPUT	9
public static final int	TUPLE__OUTPUT	8
public static final int	TUPLE__SORT	0
public static final int	TUPLE__SUBTERM	7
public static final int	TUPLE_FEATURE_COUNT	10
public static final int	USER_OPERATOR	19
public static final int	USER_OPERATOR__CONTAINER_CONDITION	4
public static final int	USER_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	USER_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	USER_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	USER_OPERATOR__CONTAINER_OPERATOR	1
public static final int	USER_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	USER_OPERATOR__DECLARATION	10
public static final int	USER_OPERATOR__INPUT	9
public static final int	USER_OPERATOR__OUTPUT	8
public static final int	USER_OPERATOR__SORT	0
public static final int	USER_OPERATOR__SUBTERM	7
public static final int	USER_OPERATOR_FEATURE_COUNT	11
public static final int	USER_SORT	16
public static final int	USER_SORT__CONTAINER_ALL	5
public static final int	USER_SORT__CONTAINER_EMPTY	6
public static final int	USER_SORT__CONTAINER_EMPTY_LIST	9
public static final int	USER_SORT__CONTAINER_LIST	8
public static final int	USER_SORT__CONTAINER_MAKE_LIST	10
public static final int	USER_SORT__CONTAINER_NAMED_SORT	1
public static final int	USER_SORT__CONTAINER_PARTITION	7
public static final int	USER_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	USER_SORT__CONTAINER_TYPE	4
public static final int	USER_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	USER_SORT__DECLARATION	11
public static final int	USER_SORT__MULTI	0
public static final int	USER_SORT_FEATURE_COUNT	12
public static final int	VARIABLE	7
public static final int	VARIABLE__CONTAINER_CONDITION	4
public static final int	VARIABLE__CONTAINER_HL_ANNOTATION	5
public static final int	VARIABLE__CONTAINER_HL_MARKING	3
public static final int	VARIABLE__CONTAINER_NAMED_OPERATOR	2
public static final int	VARIABLE__CONTAINER_OPERATOR	1
public static final int	VARIABLE__CONTAINER_PARTITION_ELEMENT	6
public static final int	VARIABLE__SORT	0
public static final int	VARIABLE__VARIABLE_DECL	7
public static final int	VARIABLE_DECL	6
public static final int	VARIABLE_DECL__CONTAINER_DECLARATIONS	2
public static final int	VARIABLE_DECL__CONTAINER_NAMED_OPERATOR	4
public static final int	VARIABLE_DECL__ID	0
public static final int	VARIABLE_DECL__NAME	1
public static final int	VARIABLE_DECL__SORT	3
public static final int	VARIABLE_DECL_FEATURE_COUNT	5
public static final int	VARIABLE_FEATURE_COUNT	8

fr.lip6.move.pnml.hlpn.terms.util.TermsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.hlpn.terms"

fr.lip6.move.pnml.pnmlcoremodel.CSS2Color

Modifier and Type	Constant Field	Value
public static final int	AQUA_VALUE	0
public static final int	BLACK_VALUE	1
public static final int	BLUE_VALUE	2
public static final int	FUCHSIA_VALUE	3
public static final int	GRAY_VALUE	4
public static final int	GREEN_VALUE	5
public static final int	LIME_VALUE	6
public static final int	MAROON_VALUE	7
public static final int	NAVY_VALUE	8
public static final int	OLIVE_VALUE	9
public static final int	ORANGE_VALUE	10
public static final int	PURPLE_VALUE	11
public static final int	RED_VALUE	12
public static final int	SILVER_VALUE	13
public static final int	TEAL_VALUE	14
public static final int	WHITE_VALUE	15
public static final int	YELLOW_VALUE	16

fr.lip6.move.pnml.pnmlcoremodel.CSS2FontFamily

Modifier and Type	Constant Field	Value
public static final int	ARIAL_VALUE	1
public static final int	GEORGIA_VALUE	3
public static final int	TIMES_VALUE	2
public static final int	TREBUCHET_VALUE	4
public static final int	VERDANA_VALUE	0

fr.lip6.move.pnml.pnmlcoremodel.CSS2FontSize

Modifier and Type	Constant Field	Value
public static final int	LARGE_VALUE	4
public static final int	MEDIUM_VALUE	3
public static final int	SMALL_VALUE	2
public static final int	XLARGE_VALUE	5
public static final int	XSMALL_VALUE	1
public static final int	XXLARGE_VALUE	6
public static final int	XXSMALL_VALUE	0

fr.lip6.move.pnml.pnmlcoremodel.CSS2FontStyle

Modifier and Type	Constant Field	Value
public static final int	ITALIC_VALUE	1
public static final int	NORMAL_VALUE	0
public static final int	OBLIQUE_VALUE	2

fr.lip6.move.pnml.pnmlcoremodel.CSS2FontWeight

Modifier and Type	Constant Field	Value
public static final int	BOLD_VALUE	1
public static final int	BOLDER_VALUE	2
public static final int	LIGHTER_VALUE	3
public static final int	NORMAL_VALUE	0

fr.lip6.move.pnml.pnmlcoremodel.FontAlign

Modifier and Type	Constant Field	Value
public static final int	CENTER_VALUE	1
public static final int	LEFT_VALUE	0
public static final int	RIGHT_VALUE	2

fr.lip6.move.pnml.pnmlcoremodel.FontDecoration

Modifier and Type	Constant Field	Value
public static final int	LINETHROUGH_VALUE	2
public static final int	OVERLINE_VALUE	1
public static final int	UNDERLINE_VALUE	0

fr.lip6.move.pnml.pnmlcoremodel.Gradient

Modifier and Type	Constant Field	Value
public static final int	DIAGONAL_VALUE	2
public static final int	HORIZONTAL_VALUE	0
public static final int	VERTICAL_VALUE	1

fr.lip6.move.pnml.pnmlcoremodel.LineShape

Modifier and Type	Constant Field	Value
public static final int	CURVE_VALUE	1
public static final int	LINE_VALUE	0

fr.lip6.move.pnml.pnmlcoremodel.LineStyle

Modifier and Type	Constant Field	Value
public static final int	DASH_VALUE	1
public static final int	DOT_VALUE	2
public static final int	SOLID_VALUE	0

fr.lip6.move.pnml.pnmlcoremodel.PnmlcoremodelPackage

Modifier and Type	Constant Field	Value
public static final int	ANNOTATION	27
public static final int	ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	ANNOTATION__TOOLSPECIFICS	0
public static final int	ANNOTATION_FEATURE_COUNT	2
public static final int	ANNOTATION_GRAPHICS	13
public static final int	ANNOTATION_GRAPHICS__CONTAINER_ANNOTATION	4
public static final int	ANNOTATION_GRAPHICS__FILL	1
public static final int	ANNOTATION_GRAPHICS__FONT	3
public static final int	ANNOTATION_GRAPHICS__LINE	2
public static final int	ANNOTATION_GRAPHICS__OFFSET	0
public static final int	ANNOTATION_GRAPHICS_FEATURE_COUNT	5
public static final int	ANY_OBJECT	28
public static final int	ANY_OBJECT__CONTAINER_TOOL_INFO	0
public static final int	ANY_OBJECT_FEATURE_COUNT	1
public static final int	ARC	17
public static final int	ARC__ARCGRAPHICS	6
public static final int	ARC__CONTAINER_PAGE	3
public static final int	ARC__ID	0
public static final int	ARC__NAME	1
public static final int	ARC__SOURCE	4
public static final int	ARC__TARGET	5
public static final int	ARC__TOOLSPECIFICS	2
public static final int	ARC_FEATURE_COUNT	7
public static final int	ARC_GRAPHICS	16
public static final int	ARC_GRAPHICS__CONTAINER_ARC	2
public static final int	ARC_GRAPHICS__LINE	1
public static final int	ARC_GRAPHICS__POSITIONS	0
public static final int	ARC_GRAPHICS_FEATURE_COUNT	3
public static final int	ATTRIBUTE	26
public static final int	ATTRIBUTE__TOOLSPECIFICS	0
public static final int	ATTRIBUTE_FEATURE_COUNT	1
public static final int	COORDINATE	9
public static final int	COORDINATE__X	0
public static final int	COORDINATE__Y	1
public static final int	COORDINATE_FEATURE_COUNT	2
public static final int	CSS2_COLOR	30
public static final int	CSS2_FONT_FAMILY	35
public static final int	CSS2_FONT_SIZE	36
public static final int	CSS2_FONT_STYLE	37
public static final int	CSS2_FONT_WEIGHT	38
public static final int	DIMENSION	12
public static final int	DIMENSION__CONTAINER_DNODE_GRAPHICS	2
public static final int	DIMENSION__X	0
public static final int	DIMENSION__Y	1
public static final int	DIMENSION_FEATURE_COUNT	3
public static final String	eNAME	"pnmlcoremodel"
public static final String	eNS_PREFIX	"pnmlcoremodel"
public static final String	eNS_URI	"http:///pnmlcoremodel.ecore"
public static final int	FILL	14
public static final int	FILL__COLOR	0
public static final int	FILL__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	FILL__CONTAINER_NODE_GRAPHICS	4
public static final int	FILL__GRADIENTCOLOR	1
public static final int	FILL__GRADIENTROTATION	2
public static final int	FILL__IMAGE	3
public static final int	FILL_FEATURE_COUNT	6
public static final int	FONT	19
public static final int	FONT__ALIGN	0
public static final int	FONT__CONTAINER_ANNOTATION_GRAPHICS	7
public static final int	FONT__DECORATION	1
public static final int	FONT__FAMILY	2
public static final int	FONT__ROTATION	3
public static final int	FONT__SIZE	4
public static final int	FONT__STYLE	5
public static final int	FONT__WEIGHT	6
public static final int	FONT_ALIGN	33
public static final int	FONT_DECORATION	34
public static final int	FONT_FEATURE_COUNT	8
public static final int	GRADIENT	31
public static final int	GRAPHICS	8
public static final int	GRAPHICS_FEATURE_COUNT	0
public static final int	LABEL	6
public static final int	LABEL__TOOLSPECIFICS	0
public static final int	LABEL_FEATURE_COUNT	1
public static final int	LINE	15
public static final int	LINE__COLOR	0
public static final int	LINE__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	LINE__CONTAINER_ARC_GRAPHICS	4
public static final int	LINE__CONTAINER_NODE_GRAPHICS	3
public static final int	LINE__SHAPE	1
public static final int	LINE__STYLE	6
public static final int	LINE__WIDTH	2
public static final int	LINE_FEATURE_COUNT	7
public static final int	LINE_SHAPE	32
public static final int	LINE_STYLE	39
public static final int	LONG_STRING	41
public static final int	NAME	4
public static final int	NAME__ANNOTATIONGRAPHICS	1
public static final int	NAME__CONTAINER_NAME_PETRI_NET	3
public static final int	NAME__CONTAINER_NAME_PN_OBJECT	4
public static final int	NAME__TEXT	2
public static final int	NAME__TOOLSPECIFICS	0
public static final int	NAME_FEATURE_COUNT	5
public static final int	NODE	18
public static final int	NODE__CONTAINER_PAGE	3
public static final int	NODE__ID	0
public static final int	NODE__IN_ARCS	4
public static final int	NODE__NAME	1
public static final int	NODE__NODEGRAPHICS	6
public static final int	NODE__OUT_ARCS	5
public static final int	NODE__TOOLSPECIFICS	2
public static final int	NODE_FEATURE_COUNT	7
public static final int	NODE_GRAPHICS	7
public static final int	NODE_GRAPHICS__CONTAINER_NODE	4
public static final int	NODE_GRAPHICS__CONTAINER_PAGE	5
public static final int	NODE_GRAPHICS__DIMENSION	1
public static final int	NODE_GRAPHICS__FILL	2
public static final int	NODE_GRAPHICS__LINE	3
public static final int	NODE_GRAPHICS__POSITION	0
public static final int	NODE_GRAPHICS_FEATURE_COUNT	6
public static final int	OFFSET	11
public static final int	OFFSET__CONTAINER_ANNOTATION_GRAPHICS	2
public static final int	OFFSET__X	0
public static final int	OFFSET__Y	1
public static final int	OFFSET_FEATURE_COUNT	3
public static final int	PAGE	2
public static final int	PAGE__CONTAINER_PAGE	3
public static final int	PAGE__CONTAINER_PETRI_NET	5
public static final int	PAGE__ID	0
public static final int	PAGE__NAME	1
public static final int	PAGE__NODEGRAPHICS	6
public static final int	PAGE__OBJECTS	4
public static final int	PAGE__TOOLSPECIFICS	2
public static final int	PAGE_FEATURE_COUNT	7
public static final int	PETRI_NET	1
public static final int	PETRI_NET__CONTAINER_PETRI_NET_DOC	5
public static final int	PETRI_NET__ID	0
public static final int	PETRI_NET__NAME	3
public static final int	PETRI_NET__PAGES	2
public static final int	PETRI_NET__TOOLSPECIFICS	4
public static final int	PETRI_NET__TYPE	1
public static final int	PETRI_NET_DOC	0
public static final int	PETRI_NET_DOC__NETS	0
public static final int	PETRI_NET_DOC__XMLNS	1
public static final int	PETRI_NET_DOC_FEATURE_COUNT	2
public static final int	PETRI_NET_FEATURE_COUNT	6
public static final int	PLACE	22
public static final int	PLACE__CONTAINER_PAGE	3
public static final int	PLACE__ID	0
public static final int	PLACE__IN_ARCS	4
public static final int	PLACE__NAME	1
public static final int	PLACE__NODEGRAPHICS	6
public static final int	PLACE__OUT_ARCS	5
public static final int	PLACE__REFERENCING_PLACES	7
public static final int	PLACE__TOOLSPECIFICS	2
public static final int	PLACE_FEATURE_COUNT	8
public static final int	PLACE_NODE	20
public static final int	PLACE_NODE__CONTAINER_PAGE	3
public static final int	PLACE_NODE__ID	0
public static final int	PLACE_NODE__IN_ARCS	4
public static final int	PLACE_NODE__NAME	1
public static final int	PLACE_NODE__NODEGRAPHICS	6
public static final int	PLACE_NODE__OUT_ARCS	5
public static final int	PLACE_NODE__REFERENCING_PLACES	7
public static final int	PLACE_NODE__TOOLSPECIFICS	2
public static final int	PLACE_NODE_FEATURE_COUNT	8
public static final int	PN_OBJECT	3
public static final int	PN_OBJECT__CONTAINER_PAGE	3
public static final int	PN_OBJECT__ID	0
public static final int	PN_OBJECT__NAME	1
public static final int	PN_OBJECT__TOOLSPECIFICS	2
public static final int	PN_OBJECT_FEATURE_COUNT	4
public static final int	PN_TYPE	29
public static final int	POSITION	10
public static final int	POSITION__CONTAINER_ARC_GRAPHICS	3
public static final int	POSITION__CONTAINER_PNODE_GRAPHICS	2
public static final int	POSITION__X	0
public static final int	POSITION__Y	1
public static final int	POSITION_FEATURE_COUNT	4
public static final int	REF_PLACE	25
public static final int	REF_PLACE__CONTAINER_PAGE	3
public static final int	REF_PLACE__ID	0
public static final int	REF_PLACE__IN_ARCS	4
public static final int	REF_PLACE__NAME	1
public static final int	REF_PLACE__NODEGRAPHICS	6
public static final int	REF_PLACE__OUT_ARCS	5
public static final int	REF_PLACE__REF	8
public static final int	REF_PLACE__REFERENCING_PLACES	7
public static final int	REF_PLACE__TOOLSPECIFICS	2
public static final int	REF_PLACE_FEATURE_COUNT	9
public static final int	REF_TRANSITION	23
public static final int	REF_TRANSITION__CONTAINER_PAGE	3
public static final int	REF_TRANSITION__ID	0
public static final int	REF_TRANSITION__IN_ARCS	4
public static final int	REF_TRANSITION__NAME	1
public static final int	REF_TRANSITION__NODEGRAPHICS	6
public static final int	REF_TRANSITION__OUT_ARCS	5
public static final int	REF_TRANSITION__REF	8
public static final int	REF_TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	REF_TRANSITION__TOOLSPECIFICS	2
public static final int	REF_TRANSITION_FEATURE_COUNT	9
public static final int	TOOL_INFO	5
public static final int	TOOL_INFO__CONTAINER_LABEL	6
public static final int	TOOL_INFO__CONTAINER_PETRI_NET	4
public static final int	TOOL_INFO__CONTAINER_PN_OBJECT	5
public static final int	TOOL_INFO__FORMATTED_XML_BUFFER	2
public static final int	TOOL_INFO__TOOL	0
public static final int	TOOL_INFO__TOOL_INFO_GRAMMAR_URI	3
public static final int	TOOL_INFO__TOOL_INFO_MODEL	7
public static final int	TOOL_INFO__VERSION	1
public static final int	TOOL_INFO_FEATURE_COUNT	8
public static final int	TRANSITION	24
public static final int	TRANSITION__CONTAINER_PAGE	3
public static final int	TRANSITION__ID	0
public static final int	TRANSITION__IN_ARCS	4
public static final int	TRANSITION__NAME	1
public static final int	TRANSITION__NODEGRAPHICS	6
public static final int	TRANSITION__OUT_ARCS	5
public static final int	TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION__TOOLSPECIFICS	2
public static final int	TRANSITION_FEATURE_COUNT	8
public static final int	TRANSITION_NODE	21
public static final int	TRANSITION_NODE__CONTAINER_PAGE	3
public static final int	TRANSITION_NODE__ID	0
public static final int	TRANSITION_NODE__IN_ARCS	4
public static final int	TRANSITION_NODE__NAME	1
public static final int	TRANSITION_NODE__NODEGRAPHICS	6
public static final int	TRANSITION_NODE__OUT_ARCS	5
public static final int	TRANSITION_NODE__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION_NODE__TOOLSPECIFICS	2
public static final int	TRANSITION_NODE_FEATURE_COUNT	8
public static final int	URI	40

fr.lip6.move.pnml.pnmlcoremodel.PNType

Modifier and Type	Constant Field	Value
public static final int	COREMODEL_VALUE	0
public static final int	HLPN_VALUE	3
public static final int	PTNET_VALUE	1
public static final int	SYMNET_VALUE	2

fr.lip6.move.pnml.pnmlcoremodel.impl.PetriNetDocImpl

Modifier and Type	Constant Field	Value
protected static final String	XMLNS_EDEFAULT	"http://www.pnml.org/version-2009/grammar/pnml"

fr.lip6.move.pnml.pnmlcoremodel.impl.PetriNetImpl

Modifier and Type	Constant Field	Value
protected static final String	ID_EDEFAULT	""

fr.lip6.move.pnml.pnmlcoremodel.util.PnmlcoremodelValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.pnmlcoremodel"

fr.lip6.move.pnml.pthlpng.booleans.BooleansPackage

Modifier and Type	Constant Field	Value
public static final int	AND	5
public static final int	AND__CONTAINER_CONDITION	4
public static final int	AND__CONTAINER_HL_ANNOTATION	5
public static final int	AND__CONTAINER_HL_MARKING	3
public static final int	AND__CONTAINER_NAMED_OPERATOR	2
public static final int	AND__CONTAINER_OPERATOR	1
public static final int	AND__CONTAINER_PARTITION_ELEMENT	6
public static final int	AND__INPUT	9
public static final int	AND__OUTPUT	8
public static final int	AND__SORT	0
public static final int	AND__SUBTERM	7
public static final int	AND_FEATURE_COUNT	10
public static final int	BOOL	8
public static final int	BOOL__CONTAINER_ALL	5
public static final int	BOOL__CONTAINER_EMPTY	6
public static final int	BOOL__CONTAINER_NAMED_SORT	1
public static final int	BOOL__CONTAINER_PARTITION	7
public static final int	BOOL__CONTAINER_PRODUCT_SORT	3
public static final int	BOOL__CONTAINER_TYPE	4
public static final int	BOOL__CONTAINER_VARIABLE_DECL	2
public static final int	BOOL__MULTI	0
public static final int	BOOL_FEATURE_COUNT	8
public static final int	BOOLEAN_CONSTANT	2
public static final int	BOOLEAN_CONSTANT__CONTAINER_CONDITION	4
public static final int	BOOLEAN_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	BOOLEAN_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	BOOLEAN_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	BOOLEAN_CONSTANT__CONTAINER_OPERATOR	1
public static final int	BOOLEAN_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	BOOLEAN_CONSTANT__INPUT	9
public static final int	BOOLEAN_CONSTANT__OUTPUT	8
public static final int	BOOLEAN_CONSTANT__SORT	0
public static final int	BOOLEAN_CONSTANT__SUBTERM	7
public static final int	BOOLEAN_CONSTANT__VALUE	10
public static final int	BOOLEAN_CONSTANT_FEATURE_COUNT	11
public static final int	BOOLEAN_OPERATOR	4
public static final int	BOOLEAN_OPERATOR__CONTAINER_CONDITION	4
public static final int	BOOLEAN_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	BOOLEAN_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	BOOLEAN_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	BOOLEAN_OPERATOR__CONTAINER_OPERATOR	1
public static final int	BOOLEAN_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	BOOLEAN_OPERATOR__INPUT	9
public static final int	BOOLEAN_OPERATOR__OUTPUT	8
public static final int	BOOLEAN_OPERATOR__SORT	0
public static final int	BOOLEAN_OPERATOR__SUBTERM	7
public static final int	BOOLEAN_OPERATOR_FEATURE_COUNT	10
public static final String	eNAME	"booleans"
public static final String	eNS_PREFIX	"booleans"
public static final String	eNS_URI	"http:///pthlpng.booleans.ecore"
public static final int	EQUALITY	0
public static final int	EQUALITY__CONTAINER_CONDITION	4
public static final int	EQUALITY__CONTAINER_HL_ANNOTATION	5
public static final int	EQUALITY__CONTAINER_HL_MARKING	3
public static final int	EQUALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	EQUALITY__CONTAINER_OPERATOR	1
public static final int	EQUALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	EQUALITY__INPUT	9
public static final int	EQUALITY__OUTPUT	8
public static final int	EQUALITY__SORT	0
public static final int	EQUALITY__SUBTERM	7
public static final int	EQUALITY_FEATURE_COUNT	10
public static final int	IMPLY	6
public static final int	IMPLY__CONTAINER_CONDITION	4
public static final int	IMPLY__CONTAINER_HL_ANNOTATION	5
public static final int	IMPLY__CONTAINER_HL_MARKING	3
public static final int	IMPLY__CONTAINER_NAMED_OPERATOR	2
public static final int	IMPLY__CONTAINER_OPERATOR	1
public static final int	IMPLY__CONTAINER_PARTITION_ELEMENT	6
public static final int	IMPLY__INPUT	9
public static final int	IMPLY__OUTPUT	8
public static final int	IMPLY__SORT	0
public static final int	IMPLY__SUBTERM	7
public static final int	IMPLY_FEATURE_COUNT	10
public static final int	INEQUALITY	1
public static final int	INEQUALITY__CONTAINER_CONDITION	4
public static final int	INEQUALITY__CONTAINER_HL_ANNOTATION	5
public static final int	INEQUALITY__CONTAINER_HL_MARKING	3
public static final int	INEQUALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	INEQUALITY__CONTAINER_OPERATOR	1
public static final int	INEQUALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	INEQUALITY__INPUT	9
public static final int	INEQUALITY__OUTPUT	8
public static final int	INEQUALITY__SORT	0
public static final int	INEQUALITY__SUBTERM	7
public static final int	INEQUALITY_FEATURE_COUNT	10
public static final int	NOT	7
public static final int	NOT__CONTAINER_CONDITION	4
public static final int	NOT__CONTAINER_HL_ANNOTATION	5
public static final int	NOT__CONTAINER_HL_MARKING	3
public static final int	NOT__CONTAINER_NAMED_OPERATOR	2
public static final int	NOT__CONTAINER_OPERATOR	1
public static final int	NOT__CONTAINER_PARTITION_ELEMENT	6
public static final int	NOT__INPUT	9
public static final int	NOT__OUTPUT	8
public static final int	NOT__SORT	0
public static final int	NOT__SUBTERM	7
public static final int	NOT_FEATURE_COUNT	10
public static final int	OR	3
public static final int	OR__CONTAINER_CONDITION	4
public static final int	OR__CONTAINER_HL_ANNOTATION	5
public static final int	OR__CONTAINER_HL_MARKING	3
public static final int	OR__CONTAINER_NAMED_OPERATOR	2
public static final int	OR__CONTAINER_OPERATOR	1
public static final int	OR__CONTAINER_PARTITION_ELEMENT	6
public static final int	OR__INPUT	9
public static final int	OR__OUTPUT	8
public static final int	OR__SORT	0
public static final int	OR__SUBTERM	7
public static final int	OR_FEATURE_COUNT	10

fr.lip6.move.pnml.pthlpng.booleans.util.BooleansValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.pthlpng.booleans"

fr.lip6.move.pnml.pthlpng.dots.DotsPackage

Modifier and Type	Constant Field	Value
public static final int	DOT	0
public static final int	DOT__CONTAINER_ALL	5
public static final int	DOT__CONTAINER_EMPTY	6
public static final int	DOT__CONTAINER_NAMED_SORT	1
public static final int	DOT__CONTAINER_PARTITION	7
public static final int	DOT__CONTAINER_PRODUCT_SORT	3
public static final int	DOT__CONTAINER_TYPE	4
public static final int	DOT__CONTAINER_VARIABLE_DECL	2
public static final int	DOT__MULTI	0
public static final int	DOT_CONSTANT	1
public static final int	DOT_CONSTANT__CONTAINER_CONDITION	4
public static final int	DOT_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	DOT_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	DOT_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	DOT_CONSTANT__CONTAINER_OPERATOR	1
public static final int	DOT_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	DOT_CONSTANT__INPUT	9
public static final int	DOT_CONSTANT__OUTPUT	8
public static final int	DOT_CONSTANT__SORT	0
public static final int	DOT_CONSTANT__SUBTERM	7
public static final int	DOT_CONSTANT_FEATURE_COUNT	10
public static final int	DOT_FEATURE_COUNT	8
public static final String	eNAME	"dots"
public static final String	eNS_PREFIX	"dots"
public static final String	eNS_URI	"http:///pthlpng.dots.ecore"

fr.lip6.move.pnml.pthlpng.hlcorestructure.CSS2Color

Modifier and Type	Constant Field	Value
public static final int	AQUA_VALUE	0
public static final int	BLACK_VALUE	1
public static final int	BLUE_VALUE	2
public static final int	FUCHSIA_VALUE	3
public static final int	GRAY_VALUE	4
public static final int	GREEN_VALUE	5
public static final int	LIME_VALUE	6
public static final int	MAROON_VALUE	7
public static final int	NAVY_VALUE	8
public static final int	OLIVE_VALUE	9
public static final int	ORANGE_VALUE	10
public static final int	PURPLE_VALUE	11
public static final int	RED_VALUE	12
public static final int	SILVER_VALUE	13
public static final int	TEAL_VALUE	14
public static final int	WHITE_VALUE	15
public static final int	YELLOW_VALUE	16

fr.lip6.move.pnml.pthlpng.hlcorestructure.CSS2FontFamily

Modifier and Type	Constant Field	Value
public static final int	ARIAL_VALUE	1
public static final int	GEORGIA_VALUE	3
public static final int	TIMES_VALUE	2
public static final int	TREBUCHET_VALUE	4
public static final int	VERDANA_VALUE	0

fr.lip6.move.pnml.pthlpng.hlcorestructure.CSS2FontSize

Modifier and Type	Constant Field	Value
public static final int	LARGE_VALUE	4
public static final int	MEDIUM_VALUE	3
public static final int	SMALL_VALUE	2
public static final int	XLARGE_VALUE	5
public static final int	XSMALL_VALUE	1
public static final int	XXLARGE_VALUE	6
public static final int	XXSMALL_VALUE	0

fr.lip6.move.pnml.pthlpng.hlcorestructure.CSS2FontStyle

Modifier and Type	Constant Field	Value
public static final int	ITALIC_VALUE	1
public static final int	NORMAL_VALUE	0
public static final int	OBLIQUE_VALUE	2

fr.lip6.move.pnml.pthlpng.hlcorestructure.CSS2FontWeight

Modifier and Type	Constant Field	Value
public static final int	BOLD_VALUE	1
public static final int	BOLDER_VALUE	2
public static final int	LIGHTER_VALUE	3
public static final int	NORMAL_VALUE	0

fr.lip6.move.pnml.pthlpng.hlcorestructure.FontAlign

Modifier and Type	Constant Field	Value
public static final int	CENTER_VALUE	1
public static final int	LEFT_VALUE	0
public static final int	RIGHT_VALUE	2

fr.lip6.move.pnml.pthlpng.hlcorestructure.FontDecoration

Modifier and Type	Constant Field	Value
public static final int	LINETHROUGH_VALUE	2
public static final int	OVERLINE_VALUE	1
public static final int	UNDERLINE_VALUE	0

fr.lip6.move.pnml.pthlpng.hlcorestructure.Gradient

Modifier and Type	Constant Field	Value
public static final int	DIAGONAL_VALUE	2
public static final int	HORIZONTAL_VALUE	0
public static final int	VERTICAL_VALUE	1

fr.lip6.move.pnml.pthlpng.hlcorestructure.HlcorestructurePackage

Modifier and Type	Constant Field	Value
public static final int	ANNOTATION	27
public static final int	ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	ANNOTATION__TOOLSPECIFICS	0
public static final int	ANNOTATION_FEATURE_COUNT	2
public static final int	ANNOTATION_GRAPHICS	13
public static final int	ANNOTATION_GRAPHICS__CONTAINER_ANNOTATION	4
public static final int	ANNOTATION_GRAPHICS__FILL	1
public static final int	ANNOTATION_GRAPHICS__FONT	3
public static final int	ANNOTATION_GRAPHICS__LINE	2
public static final int	ANNOTATION_GRAPHICS__OFFSET	0
public static final int	ANNOTATION_GRAPHICS_FEATURE_COUNT	5
public static final int	ANY_OBJECT	28
public static final int	ANY_OBJECT__CONTAINER_TOOL_INFO	0
public static final int	ANY_OBJECT_FEATURE_COUNT	1
public static final int	ARC	17
public static final int	ARC__ARCGRAPHICS	6
public static final int	ARC__CONTAINER_PAGE	3
public static final int	ARC__HLINSCRIPTION	7
public static final int	ARC__ID	0
public static final int	ARC__NAME	1
public static final int	ARC__SOURCE	4
public static final int	ARC__TARGET	5
public static final int	ARC__TOOLSPECIFICS	2
public static final int	ARC_FEATURE_COUNT	8
public static final int	ARC_GRAPHICS	16
public static final int	ARC_GRAPHICS__CONTAINER_ARC	2
public static final int	ARC_GRAPHICS__LINE	1
public static final int	ARC_GRAPHICS__POSITIONS	0
public static final int	ARC_GRAPHICS_FEATURE_COUNT	3
public static final int	ATTRIBUTE	26
public static final int	ATTRIBUTE__TOOLSPECIFICS	0
public static final int	ATTRIBUTE_FEATURE_COUNT	1
public static final int	CONDITION	32
public static final int	CONDITION__ANNOTATIONGRAPHICS	1
public static final int	CONDITION__CONTAINER_TRANSITION	4
public static final int	CONDITION__STRUCTURE	3
public static final int	CONDITION__TEXT	2
public static final int	CONDITION__TOOLSPECIFICS	0
public static final int	CONDITION_FEATURE_COUNT	5
public static final int	COORDINATE	9
public static final int	COORDINATE__X	0
public static final int	COORDINATE__Y	1
public static final int	COORDINATE_FEATURE_COUNT	2
public static final int	CSS2_COLOR	36
public static final int	CSS2_FONT_FAMILY	41
public static final int	CSS2_FONT_SIZE	42
public static final int	CSS2_FONT_STYLE	43
public static final int	CSS2_FONT_WEIGHT	44
public static final int	DECLARATION	34
public static final int	DECLARATION__ANNOTATIONGRAPHICS	1
public static final int	DECLARATION__CONTAINER_DECLARATION_PAGE	5
public static final int	DECLARATION__CONTAINER_DECLARATION_PETRI_NET	4
public static final int	DECLARATION__STRUCTURE	3
public static final int	DECLARATION__TEXT	2
public static final int	DECLARATION__TOOLSPECIFICS	0
public static final int	DECLARATION_FEATURE_COUNT	6
public static final int	DIMENSION	12
public static final int	DIMENSION__CONTAINER_DNODE_GRAPHICS	2
public static final int	DIMENSION__X	0
public static final int	DIMENSION__Y	1
public static final int	DIMENSION_FEATURE_COUNT	3
public static final String	eNAME	"hlcorestructure"
public static final String	eNS_PREFIX	"hlcorestructure"
public static final String	eNS_URI	"http:///pthlpng.hlcorestructure.ecore"
public static final int	FILL	14
public static final int	FILL__COLOR	0
public static final int	FILL__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	FILL__CONTAINER_NODE_GRAPHICS	4
public static final int	FILL__GRADIENTCOLOR	1
public static final int	FILL__GRADIENTROTATION	2
public static final int	FILL__IMAGE	3
public static final int	FILL_FEATURE_COUNT	6
public static final int	FONT	19
public static final int	FONT__ALIGN	0
public static final int	FONT__CONTAINER_ANNOTATION_GRAPHICS	7
public static final int	FONT__DECORATION	1
public static final int	FONT__FAMILY	2
public static final int	FONT__ROTATION	3
public static final int	FONT__SIZE	4
public static final int	FONT__STYLE	5
public static final int	FONT__WEIGHT	6
public static final int	FONT_ALIGN	39
public static final int	FONT_DECORATION	40
public static final int	FONT_FEATURE_COUNT	8
public static final int	GRADIENT	37
public static final int	GRAPHICS	8
public static final int	GRAPHICS_FEATURE_COUNT	0
public static final int	HL_ANNOTATION	33
public static final int	HL_ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	HL_ANNOTATION__CONTAINER_ARC	4
public static final int	HL_ANNOTATION__STRUCTURE	3
public static final int	HL_ANNOTATION__TEXT	2
public static final int	HL_ANNOTATION__TOOLSPECIFICS	0
public static final int	HL_ANNOTATION_FEATURE_COUNT	5
public static final int	HL_CORE_ANNOTATION	29
public static final int	HL_CORE_ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	HL_CORE_ANNOTATION__TEXT	2
public static final int	HL_CORE_ANNOTATION__TOOLSPECIFICS	0
public static final int	HL_CORE_ANNOTATION_FEATURE_COUNT	3
public static final int	HL_MARKING	31
public static final int	HL_MARKING__ANNOTATIONGRAPHICS	1
public static final int	HL_MARKING__CONTAINER_PLACE	4
public static final int	HL_MARKING__STRUCTURE	3
public static final int	HL_MARKING__TEXT	2
public static final int	HL_MARKING__TOOLSPECIFICS	0
public static final int	HL_MARKING_FEATURE_COUNT	5
public static final int	LABEL	6
public static final int	LABEL__TOOLSPECIFICS	0
public static final int	LABEL_FEATURE_COUNT	1
public static final int	LINE	15
public static final int	LINE__COLOR	0
public static final int	LINE__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	LINE__CONTAINER_ARC_GRAPHICS	4
public static final int	LINE__CONTAINER_NODE_GRAPHICS	3
public static final int	LINE__SHAPE	1
public static final int	LINE__STYLE	6
public static final int	LINE__WIDTH	2
public static final int	LINE_FEATURE_COUNT	7
public static final int	LINE_SHAPE	38
public static final int	LINE_STYLE	45
public static final int	LONG_STRING	47
public static final int	NAME	4
public static final int	NAME__ANNOTATIONGRAPHICS	1
public static final int	NAME__CONTAINER_NAME_PETRI_NET	3
public static final int	NAME__CONTAINER_NAME_PN_OBJECT	4
public static final int	NAME__TEXT	2
public static final int	NAME__TOOLSPECIFICS	0
public static final int	NAME_FEATURE_COUNT	5
public static final int	NODE	18
public static final int	NODE__CONTAINER_PAGE	3
public static final int	NODE__ID	0
public static final int	NODE__IN_ARCS	4
public static final int	NODE__NAME	1
public static final int	NODE__NODEGRAPHICS	6
public static final int	NODE__OUT_ARCS	5
public static final int	NODE__TOOLSPECIFICS	2
public static final int	NODE_FEATURE_COUNT	7
public static final int	NODE_GRAPHICS	7
public static final int	NODE_GRAPHICS__CONTAINER_NODE	4
public static final int	NODE_GRAPHICS__CONTAINER_PAGE	5
public static final int	NODE_GRAPHICS__DIMENSION	1
public static final int	NODE_GRAPHICS__FILL	2
public static final int	NODE_GRAPHICS__LINE	3
public static final int	NODE_GRAPHICS__POSITION	0
public static final int	NODE_GRAPHICS_FEATURE_COUNT	6
public static final int	OFFSET	11
public static final int	OFFSET__CONTAINER_ANNOTATION_GRAPHICS	2
public static final int	OFFSET__X	0
public static final int	OFFSET__Y	1
public static final int	OFFSET_FEATURE_COUNT	3
public static final int	PAGE	2
public static final int	PAGE__CONTAINER_PAGE	3
public static final int	PAGE__CONTAINER_PETRI_NET	5
public static final int	PAGE__DECLARATION	7
public static final int	PAGE__ID	0
public static final int	PAGE__NAME	1
public static final int	PAGE__NODEGRAPHICS	6
public static final int	PAGE__OBJECTS	4
public static final int	PAGE__TOOLSPECIFICS	2
public static final int	PAGE_FEATURE_COUNT	8
public static final int	PETRI_NET	1
public static final int	PETRI_NET__CONTAINER_PETRI_NET_DOC	5
public static final int	PETRI_NET__DECLARATION	6
public static final int	PETRI_NET__ID	0
public static final int	PETRI_NET__NAME	3
public static final int	PETRI_NET__PAGES	2
public static final int	PETRI_NET__TOOLSPECIFICS	4
public static final int	PETRI_NET__TYPE	1
public static final int	PETRI_NET_DOC	0
public static final int	PETRI_NET_DOC__NETS	0
public static final int	PETRI_NET_DOC__XMLNS	1
public static final int	PETRI_NET_DOC_FEATURE_COUNT	2
public static final int	PETRI_NET_FEATURE_COUNT	7
public static final int	PLACE	22
public static final int	PLACE__CONTAINER_PAGE	3
public static final int	PLACE__HLINITIAL_MARKING	9
public static final int	PLACE__ID	0
public static final int	PLACE__IN_ARCS	4
public static final int	PLACE__NAME	1
public static final int	PLACE__NODEGRAPHICS	6
public static final int	PLACE__OUT_ARCS	5
public static final int	PLACE__REFERENCING_PLACES	7
public static final int	PLACE__TOOLSPECIFICS	2
public static final int	PLACE__TYPE	8
public static final int	PLACE_FEATURE_COUNT	10
public static final int	PLACE_NODE	20
public static final int	PLACE_NODE__CONTAINER_PAGE	3
public static final int	PLACE_NODE__ID	0
public static final int	PLACE_NODE__IN_ARCS	4
public static final int	PLACE_NODE__NAME	1
public static final int	PLACE_NODE__NODEGRAPHICS	6
public static final int	PLACE_NODE__OUT_ARCS	5
public static final int	PLACE_NODE__REFERENCING_PLACES	7
public static final int	PLACE_NODE__TOOLSPECIFICS	2
public static final int	PLACE_NODE_FEATURE_COUNT	8
public static final int	PN_OBJECT	3
public static final int	PN_OBJECT__CONTAINER_PAGE	3
public static final int	PN_OBJECT__ID	0
public static final int	PN_OBJECT__NAME	1
public static final int	PN_OBJECT__TOOLSPECIFICS	2
public static final int	PN_OBJECT_FEATURE_COUNT	4
public static final int	PN_TYPE	35
public static final int	POSITION	10
public static final int	POSITION__CONTAINER_ARC_GRAPHICS	2
public static final int	POSITION__CONTAINER_PNODE_GRAPHICS	3
public static final int	POSITION__X	0
public static final int	POSITION__Y	1
public static final int	POSITION_FEATURE_COUNT	4
public static final int	REF_PLACE	25
public static final int	REF_PLACE__CONTAINER_PAGE	3
public static final int	REF_PLACE__ID	0
public static final int	REF_PLACE__IN_ARCS	4
public static final int	REF_PLACE__NAME	1
public static final int	REF_PLACE__NODEGRAPHICS	6
public static final int	REF_PLACE__OUT_ARCS	5
public static final int	REF_PLACE__REF	8
public static final int	REF_PLACE__REFERENCING_PLACES	7
public static final int	REF_PLACE__TOOLSPECIFICS	2
public static final int	REF_PLACE_FEATURE_COUNT	9
public static final int	REF_TRANSITION	23
public static final int	REF_TRANSITION__CONTAINER_PAGE	3
public static final int	REF_TRANSITION__ID	0
public static final int	REF_TRANSITION__IN_ARCS	4
public static final int	REF_TRANSITION__NAME	1
public static final int	REF_TRANSITION__NODEGRAPHICS	6
public static final int	REF_TRANSITION__OUT_ARCS	5
public static final int	REF_TRANSITION__REF	8
public static final int	REF_TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	REF_TRANSITION__TOOLSPECIFICS	2
public static final int	REF_TRANSITION_FEATURE_COUNT	9
public static final int	TOOL_INFO	5
public static final int	TOOL_INFO__CONTAINER_LABEL	6
public static final int	TOOL_INFO__CONTAINER_PETRI_NET	4
public static final int	TOOL_INFO__CONTAINER_PN_OBJECT	5
public static final int	TOOL_INFO__FORMATTED_XML_BUFFER	2
public static final int	TOOL_INFO__TOOL	0
public static final int	TOOL_INFO__TOOL_INFO_GRAMMAR_URI	3
public static final int	TOOL_INFO__TOOL_INFO_MODEL	7
public static final int	TOOL_INFO__VERSION	1
public static final int	TOOL_INFO_FEATURE_COUNT	8
public static final int	TRANSITION	24
public static final int	TRANSITION__CONDITION	8
public static final int	TRANSITION__CONTAINER_PAGE	3
public static final int	TRANSITION__ID	0
public static final int	TRANSITION__IN_ARCS	4
public static final int	TRANSITION__NAME	1
public static final int	TRANSITION__NODEGRAPHICS	6
public static final int	TRANSITION__OUT_ARCS	5
public static final int	TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION__TOOLSPECIFICS	2
public static final int	TRANSITION_FEATURE_COUNT	9
public static final int	TRANSITION_NODE	21
public static final int	TRANSITION_NODE__CONTAINER_PAGE	3
public static final int	TRANSITION_NODE__ID	0
public static final int	TRANSITION_NODE__IN_ARCS	4
public static final int	TRANSITION_NODE__NAME	1
public static final int	TRANSITION_NODE__NODEGRAPHICS	6
public static final int	TRANSITION_NODE__OUT_ARCS	5
public static final int	TRANSITION_NODE__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION_NODE__TOOLSPECIFICS	2
public static final int	TRANSITION_NODE_FEATURE_COUNT	8
public static final int	TYPE	30
public static final int	TYPE__ANNOTATIONGRAPHICS	1
public static final int	TYPE__CONTAINER_PLACE	4
public static final int	TYPE__STRUCTURE	3
public static final int	TYPE__TEXT	2
public static final int	TYPE__TOOLSPECIFICS	0
public static final int	TYPE_FEATURE_COUNT	5
public static final int	URI	46

fr.lip6.move.pnml.pthlpng.hlcorestructure.LineShape

Modifier and Type	Constant Field	Value
public static final int	CURVE_VALUE	1
public static final int	LINE_VALUE	0

fr.lip6.move.pnml.pthlpng.hlcorestructure.LineStyle

Modifier and Type	Constant Field	Value
public static final int	DASH_VALUE	1
public static final int	DOT_VALUE	2
public static final int	SOLID_VALUE	0

fr.lip6.move.pnml.pthlpng.hlcorestructure.PNType

Modifier and Type	Constant Field	Value
public static final int	COREMODEL_VALUE	0
public static final int	HLPN_VALUE	3
public static final int	PTHLPN_VALUE	4
public static final int	PTNET_VALUE	1
public static final int	SYMNET_VALUE	2

fr.lip6.move.pnml.pthlpng.hlcorestructure.impl.PetriNetDocImpl

Modifier and Type	Constant Field	Value
protected static final String	XMLNS_EDEFAULT	"http://www.pnml.org/version-2009/grammar/pnml"

fr.lip6.move.pnml.pthlpng.hlcorestructure.impl.PetriNetImpl

Modifier and Type	Constant Field	Value
protected static final String	ID_EDEFAULT	""

fr.lip6.move.pnml.pthlpng.hlcorestructure.util.HlcorestructureValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.pthlpng.hlcorestructure"

fr.lip6.move.pnml.pthlpng.integers.IntegersPackage

Modifier and Type	Constant Field	Value
public static final int	ADDITION	6
public static final int	ADDITION__CONTAINER_CONDITION	4
public static final int	ADDITION__CONTAINER_HL_ANNOTATION	5
public static final int	ADDITION__CONTAINER_HL_MARKING	3
public static final int	ADDITION__CONTAINER_NAMED_OPERATOR	2
public static final int	ADDITION__CONTAINER_OPERATOR	1
public static final int	ADDITION__CONTAINER_PARTITION_ELEMENT	6
public static final int	ADDITION__INPUT	9
public static final int	ADDITION__OUTPUT	8
public static final int	ADDITION__SORT	0
public static final int	ADDITION__SUBTERM	7
public static final int	ADDITION_FEATURE_COUNT	10
public static final int	DIVISION	9
public static final int	DIVISION__CONTAINER_CONDITION	4
public static final int	DIVISION__CONTAINER_HL_ANNOTATION	5
public static final int	DIVISION__CONTAINER_HL_MARKING	3
public static final int	DIVISION__CONTAINER_NAMED_OPERATOR	2
public static final int	DIVISION__CONTAINER_OPERATOR	1
public static final int	DIVISION__CONTAINER_PARTITION_ELEMENT	6
public static final int	DIVISION__INPUT	9
public static final int	DIVISION__OUTPUT	8
public static final int	DIVISION__SORT	0
public static final int	DIVISION__SUBTERM	7
public static final int	DIVISION_FEATURE_COUNT	10
public static final String	eNAME	"integers"
public static final String	eNS_PREFIX	"integers"
public static final String	eNS_URI	"http:///hlpn.integers.ecore"
public static final int	GREATER_THAN	11
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	GREATER_THAN_OR_EQUAL	12
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN_OR_EQUAL__INPUT	9
public static final int	GREATER_THAN_OR_EQUAL__OUTPUT	8
public static final int	GREATER_THAN_OR_EQUAL__SORT	0
public static final int	GREATER_THAN_OR_EQUAL__SUBTERM	7
public static final int	GREATER_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	HL_INTEGER	3
public static final int	HL_INTEGER__CONTAINER_ALL	5
public static final int	HL_INTEGER__CONTAINER_EMPTY	6
public static final int	HL_INTEGER__CONTAINER_NAMED_SORT	1
public static final int	HL_INTEGER__CONTAINER_NUMBER_CONSTANT	8
public static final int	HL_INTEGER__CONTAINER_PARTITION	7
public static final int	HL_INTEGER__CONTAINER_PRODUCT_SORT	3
public static final int	HL_INTEGER__CONTAINER_TYPE	4
public static final int	HL_INTEGER__CONTAINER_VARIABLE_DECL	2
public static final int	HL_INTEGER__MULTI	0
public static final int	HL_INTEGER_FEATURE_COUNT	9
public static final int	HLPN_NUMBER	0
public static final int	HLPN_NUMBER__CONTAINER_ALL	5
public static final int	HLPN_NUMBER__CONTAINER_EMPTY	6
public static final int	HLPN_NUMBER__CONTAINER_NAMED_SORT	1
public static final int	HLPN_NUMBER__CONTAINER_NUMBER_CONSTANT	8
public static final int	HLPN_NUMBER__CONTAINER_PARTITION	7
public static final int	HLPN_NUMBER__CONTAINER_PRODUCT_SORT	3
public static final int	HLPN_NUMBER__CONTAINER_TYPE	4
public static final int	HLPN_NUMBER__CONTAINER_VARIABLE_DECL	2
public static final int	HLPN_NUMBER__MULTI	0
public static final int	HLPN_NUMBER_FEATURE_COUNT	9
public static final int	INTEGER_OPERATOR	5
public static final int	INTEGER_OPERATOR__CONTAINER_CONDITION	4
public static final int	INTEGER_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	INTEGER_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	INTEGER_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	INTEGER_OPERATOR__CONTAINER_OPERATOR	1
public static final int	INTEGER_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	INTEGER_OPERATOR__INPUT	9
public static final int	INTEGER_OPERATOR__OUTPUT	8
public static final int	INTEGER_OPERATOR__SORT	0
public static final int	INTEGER_OPERATOR__SUBTERM	7
public static final int	INTEGER_OPERATOR_FEATURE_COUNT	10
public static final int	LESS_THAN	13
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN_OR_EQUAL	14
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN_OR_EQUAL__INPUT	9
public static final int	LESS_THAN_OR_EQUAL__OUTPUT	8
public static final int	LESS_THAN_OR_EQUAL__SORT	0
public static final int	LESS_THAN_OR_EQUAL__SUBTERM	7
public static final int	LESS_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	MODULO	10
public static final int	MODULO__CONTAINER_CONDITION	4
public static final int	MODULO__CONTAINER_HL_ANNOTATION	5
public static final int	MODULO__CONTAINER_HL_MARKING	3
public static final int	MODULO__CONTAINER_NAMED_OPERATOR	2
public static final int	MODULO__CONTAINER_OPERATOR	1
public static final int	MODULO__CONTAINER_PARTITION_ELEMENT	6
public static final int	MODULO__INPUT	9
public static final int	MODULO__OUTPUT	8
public static final int	MODULO__SORT	0
public static final int	MODULO__SUBTERM	7
public static final int	MODULO_FEATURE_COUNT	10
public static final int	MULTIPLICATION	8
public static final int	MULTIPLICATION__CONTAINER_CONDITION	4
public static final int	MULTIPLICATION__CONTAINER_HL_ANNOTATION	5
public static final int	MULTIPLICATION__CONTAINER_HL_MARKING	3
public static final int	MULTIPLICATION__CONTAINER_NAMED_OPERATOR	2
public static final int	MULTIPLICATION__CONTAINER_OPERATOR	1
public static final int	MULTIPLICATION__CONTAINER_PARTITION_ELEMENT	6
public static final int	MULTIPLICATION__INPUT	9
public static final int	MULTIPLICATION__OUTPUT	8
public static final int	MULTIPLICATION__SORT	0
public static final int	MULTIPLICATION__SUBTERM	7
public static final int	MULTIPLICATION_FEATURE_COUNT	10
public static final int	NATURAL	1
public static final int	NATURAL__CONTAINER_ALL	5
public static final int	NATURAL__CONTAINER_EMPTY	6
public static final int	NATURAL__CONTAINER_NAMED_SORT	1
public static final int	NATURAL__CONTAINER_NUMBER_CONSTANT	8
public static final int	NATURAL__CONTAINER_PARTITION	7
public static final int	NATURAL__CONTAINER_PRODUCT_SORT	3
public static final int	NATURAL__CONTAINER_TYPE	4
public static final int	NATURAL__CONTAINER_VARIABLE_DECL	2
public static final int	NATURAL__MULTI	0
public static final int	NATURAL_FEATURE_COUNT	9
public static final int	NUMBER_CONSTANT	4
public static final int	NUMBER_CONSTANT__CONTAINER_CONDITION	4
public static final int	NUMBER_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	NUMBER_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	NUMBER_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	NUMBER_CONSTANT__CONTAINER_OPERATOR	1
public static final int	NUMBER_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	NUMBER_CONSTANT__INPUT	9
public static final int	NUMBER_CONSTANT__OUTPUT	8
public static final int	NUMBER_CONSTANT__SORT	0
public static final int	NUMBER_CONSTANT__SUBTERM	7
public static final int	NUMBER_CONSTANT__TYPE	10
public static final int	NUMBER_CONSTANT__VALUE	11
public static final int	NUMBER_CONSTANT_FEATURE_COUNT	12
public static final int	POSITIVE	2
public static final int	POSITIVE__CONTAINER_ALL	5
public static final int	POSITIVE__CONTAINER_EMPTY	6
public static final int	POSITIVE__CONTAINER_NAMED_SORT	1
public static final int	POSITIVE__CONTAINER_NUMBER_CONSTANT	8
public static final int	POSITIVE__CONTAINER_PARTITION	7
public static final int	POSITIVE__CONTAINER_PRODUCT_SORT	3
public static final int	POSITIVE__CONTAINER_TYPE	4
public static final int	POSITIVE__CONTAINER_VARIABLE_DECL	2
public static final int	POSITIVE__MULTI	0
public static final int	POSITIVE_FEATURE_COUNT	9
public static final int	SUBTRACTION	7
public static final int	SUBTRACTION__CONTAINER_CONDITION	4
public static final int	SUBTRACTION__CONTAINER_HL_ANNOTATION	5
public static final int	SUBTRACTION__CONTAINER_HL_MARKING	3
public static final int	SUBTRACTION__CONTAINER_NAMED_OPERATOR	2
public static final int	SUBTRACTION__CONTAINER_OPERATOR	1
public static final int	SUBTRACTION__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUBTRACTION__INPUT	9
public static final int	SUBTRACTION__OUTPUT	8
public static final int	SUBTRACTION__SORT	0
public static final int	SUBTRACTION__SUBTERM	7
public static final int	SUBTRACTION_FEATURE_COUNT	10

fr.lip6.move.pnml.pthlpng.integers.util.IntegersValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.pthlpng.integers"

fr.lip6.move.pnml.pthlpng.multisets.MultisetsPackage

Modifier and Type	Constant Field	Value
public static final int	ADD	3
public static final int	ADD__CONTAINER_CONDITION	4
public static final int	ADD__CONTAINER_HL_ANNOTATION	5
public static final int	ADD__CONTAINER_HL_MARKING	3
public static final int	ADD__CONTAINER_NAMED_OPERATOR	2
public static final int	ADD__CONTAINER_OPERATOR	1
public static final int	ADD__CONTAINER_PARTITION_ELEMENT	6
public static final int	ADD__INPUT	9
public static final int	ADD__OUTPUT	8
public static final int	ADD__SORT	0
public static final int	ADD__SUBTERM	7
public static final int	ADD_FEATURE_COUNT	10
public static final int	ALL	4
public static final int	ALL__CONTAINER_CONDITION	4
public static final int	ALL__CONTAINER_HL_ANNOTATION	5
public static final int	ALL__CONTAINER_HL_MARKING	3
public static final int	ALL__CONTAINER_NAMED_OPERATOR	2
public static final int	ALL__CONTAINER_OPERATOR	1
public static final int	ALL__CONTAINER_PARTITION_ELEMENT	6
public static final int	ALL__INPUT	9
public static final int	ALL__OUTPUT	8
public static final int	ALL__REFSORT	10
public static final int	ALL__SORT	0
public static final int	ALL__SUBTERM	7
public static final int	ALL_FEATURE_COUNT	11
public static final int	CARDINALITY	0
public static final int	CARDINALITY__CONTAINER_CONDITION	4
public static final int	CARDINALITY__CONTAINER_HL_ANNOTATION	5
public static final int	CARDINALITY__CONTAINER_HL_MARKING	3
public static final int	CARDINALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	CARDINALITY__CONTAINER_OPERATOR	1
public static final int	CARDINALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	CARDINALITY__INPUT	9
public static final int	CARDINALITY__OUTPUT	8
public static final int	CARDINALITY__SORT	0
public static final int	CARDINALITY__SUBTERM	7
public static final int	CARDINALITY_FEATURE_COUNT	10
public static final int	CARDINALITY_OF	2
public static final int	CARDINALITY_OF__CONTAINER_CONDITION	4
public static final int	CARDINALITY_OF__CONTAINER_HL_ANNOTATION	5
public static final int	CARDINALITY_OF__CONTAINER_HL_MARKING	3
public static final int	CARDINALITY_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	CARDINALITY_OF__CONTAINER_OPERATOR	1
public static final int	CARDINALITY_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	CARDINALITY_OF__INPUT	9
public static final int	CARDINALITY_OF__OUTPUT	8
public static final int	CARDINALITY_OF__SORT	0
public static final int	CARDINALITY_OF__SUBTERM	7
public static final int	CARDINALITY_OF_FEATURE_COUNT	10
public static final int	CONTAINS	1
public static final int	CONTAINS__CONTAINER_CONDITION	4
public static final int	CONTAINS__CONTAINER_HL_ANNOTATION	5
public static final int	CONTAINS__CONTAINER_HL_MARKING	3
public static final int	CONTAINS__CONTAINER_NAMED_OPERATOR	2
public static final int	CONTAINS__CONTAINER_OPERATOR	1
public static final int	CONTAINS__CONTAINER_PARTITION_ELEMENT	6
public static final int	CONTAINS__INPUT	9
public static final int	CONTAINS__OUTPUT	8
public static final int	CONTAINS__SORT	0
public static final int	CONTAINS__SUBTERM	7
public static final int	CONTAINS_FEATURE_COUNT	10
public static final int	EMPTY	5
public static final int	EMPTY__CONTAINER_CONDITION	4
public static final int	EMPTY__CONTAINER_HL_ANNOTATION	5
public static final int	EMPTY__CONTAINER_HL_MARKING	3
public static final int	EMPTY__CONTAINER_NAMED_OPERATOR	2
public static final int	EMPTY__CONTAINER_OPERATOR	1
public static final int	EMPTY__CONTAINER_PARTITION_ELEMENT	6
public static final int	EMPTY__INPUT	9
public static final int	EMPTY__OUTPUT	8
public static final int	EMPTY__REFSORT	10
public static final int	EMPTY__SORT	0
public static final int	EMPTY__SUBTERM	7
public static final int	EMPTY_FEATURE_COUNT	11
public static final String	eNAME	"multisets"
public static final String	eNS_PREFIX	"multisets"
public static final String	eNS_URI	"http:///pthlpng.multisets.ecore"
public static final int	NUMBER_OF	6
public static final int	NUMBER_OF__CONTAINER_CONDITION	4
public static final int	NUMBER_OF__CONTAINER_HL_ANNOTATION	5
public static final int	NUMBER_OF__CONTAINER_HL_MARKING	3
public static final int	NUMBER_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	NUMBER_OF__CONTAINER_OPERATOR	1
public static final int	NUMBER_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	NUMBER_OF__INPUT	9
public static final int	NUMBER_OF__OUTPUT	8
public static final int	NUMBER_OF__SORT	0
public static final int	NUMBER_OF__SUBTERM	7
public static final int	NUMBER_OF_FEATURE_COUNT	10
public static final int	SCALAR_PRODUCT	8
public static final int	SCALAR_PRODUCT__CONTAINER_CONDITION	4
public static final int	SCALAR_PRODUCT__CONTAINER_HL_ANNOTATION	5
public static final int	SCALAR_PRODUCT__CONTAINER_HL_MARKING	3
public static final int	SCALAR_PRODUCT__CONTAINER_NAMED_OPERATOR	2
public static final int	SCALAR_PRODUCT__CONTAINER_OPERATOR	1
public static final int	SCALAR_PRODUCT__CONTAINER_PARTITION_ELEMENT	6
public static final int	SCALAR_PRODUCT__INPUT	9
public static final int	SCALAR_PRODUCT__OUTPUT	8
public static final int	SCALAR_PRODUCT__SORT	0
public static final int	SCALAR_PRODUCT__SUBTERM	7
public static final int	SCALAR_PRODUCT_FEATURE_COUNT	10
public static final int	SUBTRACT	7
public static final int	SUBTRACT__CONTAINER_CONDITION	4
public static final int	SUBTRACT__CONTAINER_HL_ANNOTATION	5
public static final int	SUBTRACT__CONTAINER_HL_MARKING	3
public static final int	SUBTRACT__CONTAINER_NAMED_OPERATOR	2
public static final int	SUBTRACT__CONTAINER_OPERATOR	1
public static final int	SUBTRACT__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUBTRACT__INPUT	9
public static final int	SUBTRACT__OUTPUT	8
public static final int	SUBTRACT__SORT	0
public static final int	SUBTRACT__SUBTERM	7
public static final int	SUBTRACT_FEATURE_COUNT	10

fr.lip6.move.pnml.pthlpng.multisets.util.MultisetsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.pthlpng.multisets"

fr.lip6.move.pnml.pthlpng.partitions.PartitionsPackage

Modifier and Type	Constant Field	Value
public static final String	eNAME	"partitions"
public static final String	eNS_PREFIX	"partitions"
public static final String	eNS_URI	"http:///pthlpng.partitions.ecore"
public static final int	GREATER_THAN	2
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN	5
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	PARTITION	0
public static final int	PARTITION__CONTAINER_DECLARATIONS	2
public static final int	PARTITION__DEF	3
public static final int	PARTITION__ID	0
public static final int	PARTITION__NAME	1
public static final int	PARTITION__PARTITIONELEMENTS	4
public static final int	PARTITION_ELEMENT	1
public static final int	PARTITION_ELEMENT__CONTAINER_DECLARATIONS	2
public static final int	PARTITION_ELEMENT__ID	0
public static final int	PARTITION_ELEMENT__NAME	1
public static final int	PARTITION_ELEMENT__PARTITIONELEMENTCONSTANTS	4
public static final int	PARTITION_ELEMENT__REFPARTITION	3
public static final int	PARTITION_ELEMENT_FEATURE_COUNT	5
public static final int	PARTITION_ELEMENT_OF	3
public static final int	PARTITION_ELEMENT_OF__CONTAINER_CONDITION	4
public static final int	PARTITION_ELEMENT_OF__CONTAINER_HL_ANNOTATION	5
public static final int	PARTITION_ELEMENT_OF__CONTAINER_HL_MARKING	3
public static final int	PARTITION_ELEMENT_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	PARTITION_ELEMENT_OF__CONTAINER_OPERATOR	1
public static final int	PARTITION_ELEMENT_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	PARTITION_ELEMENT_OF__INPUT	9
public static final int	PARTITION_ELEMENT_OF__OUTPUT	8
public static final int	PARTITION_ELEMENT_OF__REFPARTITION	10
public static final int	PARTITION_ELEMENT_OF__SORT	0
public static final int	PARTITION_ELEMENT_OF__SUBTERM	7
public static final int	PARTITION_ELEMENT_OF_FEATURE_COUNT	11
public static final int	PARTITION_FEATURE_COUNT	5
public static final int	PARTITION_OPERATOR	4
public static final int	PARTITION_OPERATOR__CONTAINER_CONDITION	4
public static final int	PARTITION_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	PARTITION_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	PARTITION_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	PARTITION_OPERATOR__CONTAINER_OPERATOR	1
public static final int	PARTITION_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	PARTITION_OPERATOR__INPUT	9
public static final int	PARTITION_OPERATOR__OUTPUT	8
public static final int	PARTITION_OPERATOR__SORT	0
public static final int	PARTITION_OPERATOR__SUBTERM	7
public static final int	PARTITION_OPERATOR_FEATURE_COUNT	10

fr.lip6.move.pnml.pthlpng.partitions.util.PartitionsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.pthlpng.partitions"

fr.lip6.move.pnml.pthlpng.terms.TermsPackage

Modifier and Type	Constant Field	Value
public static final int	BUILT_IN_CONSTANT	10
public static final int	BUILT_IN_CONSTANT__CONTAINER_CONDITION	4
public static final int	BUILT_IN_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	BUILT_IN_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	BUILT_IN_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	BUILT_IN_CONSTANT__CONTAINER_OPERATOR	1
public static final int	BUILT_IN_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	BUILT_IN_CONSTANT__INPUT	9
public static final int	BUILT_IN_CONSTANT__OUTPUT	8
public static final int	BUILT_IN_CONSTANT__SORT	0
public static final int	BUILT_IN_CONSTANT__SUBTERM	7
public static final int	BUILT_IN_CONSTANT_FEATURE_COUNT	10
public static final int	BUILT_IN_OPERATOR	14
public static final int	BUILT_IN_OPERATOR__CONTAINER_CONDITION	4
public static final int	BUILT_IN_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	BUILT_IN_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	BUILT_IN_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	BUILT_IN_OPERATOR__CONTAINER_OPERATOR	1
public static final int	BUILT_IN_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	BUILT_IN_OPERATOR__INPUT	9
public static final int	BUILT_IN_OPERATOR__OUTPUT	8
public static final int	BUILT_IN_OPERATOR__SORT	0
public static final int	BUILT_IN_OPERATOR__SUBTERM	7
public static final int	BUILT_IN_OPERATOR_FEATURE_COUNT	10
public static final int	BUILT_IN_SORT	8
public static final int	BUILT_IN_SORT__CONTAINER_ALL	5
public static final int	BUILT_IN_SORT__CONTAINER_EMPTY	6
public static final int	BUILT_IN_SORT__CONTAINER_NAMED_SORT	1
public static final int	BUILT_IN_SORT__CONTAINER_PARTITION	7
public static final int	BUILT_IN_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	BUILT_IN_SORT__CONTAINER_TYPE	4
public static final int	BUILT_IN_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	BUILT_IN_SORT__MULTI	0
public static final int	BUILT_IN_SORT_FEATURE_COUNT	8
public static final int	DECLARATIONS	0
public static final int	DECLARATIONS__CONTAINER_DECLARATION	1
public static final int	DECLARATIONS__DECLARATION	0
public static final int	DECLARATIONS_FEATURE_COUNT	2
public static final String	eNAME	"terms"
public static final String	eNS_PREFIX	"terms"
public static final String	eNS_URI	"http:///pthlpng.terms.ecore"
public static final int	MULTISET_OPERATOR	11
public static final int	MULTISET_OPERATOR__CONTAINER_CONDITION	4
public static final int	MULTISET_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	MULTISET_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	MULTISET_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	MULTISET_OPERATOR__CONTAINER_OPERATOR	1
public static final int	MULTISET_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	MULTISET_OPERATOR__INPUT	9
public static final int	MULTISET_OPERATOR__OUTPUT	8
public static final int	MULTISET_OPERATOR__SORT	0
public static final int	MULTISET_OPERATOR__SUBTERM	7
public static final int	MULTISET_OPERATOR_FEATURE_COUNT	10
public static final int	MULTISET_SORT	3
public static final int	MULTISET_SORT__BASIS	8
public static final int	MULTISET_SORT__CONTAINER_ALL	5
public static final int	MULTISET_SORT__CONTAINER_EMPTY	6
public static final int	MULTISET_SORT__CONTAINER_NAMED_SORT	1
public static final int	MULTISET_SORT__CONTAINER_PARTITION	7
public static final int	MULTISET_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	MULTISET_SORT__CONTAINER_TYPE	4
public static final int	MULTISET_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	MULTISET_SORT__MULTI	0
public static final int	MULTISET_SORT_FEATURE_COUNT	9
public static final int	NAMED_OPERATOR	18
public static final int	NAMED_OPERATOR__CONTAINER_DECLARATIONS	2
public static final int	NAMED_OPERATOR__DEF	3
public static final int	NAMED_OPERATOR__ID	0
public static final int	NAMED_OPERATOR__NAME	1
public static final int	NAMED_OPERATOR__PARAMETERS	4
public static final int	NAMED_OPERATOR_FEATURE_COUNT	5
public static final int	NAMED_SORT	15
public static final int	NAMED_SORT__CONTAINER_DECLARATIONS	2
public static final int	NAMED_SORT__ID	0
public static final int	NAMED_SORT__NAME	1
public static final int	NAMED_SORT__SORTDEF	3
public static final int	NAMED_SORT_FEATURE_COUNT	4
public static final int	OPERATOR	5
public static final int	OPERATOR__CONTAINER_CONDITION	4
public static final int	OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	OPERATOR__CONTAINER_HL_MARKING	3
public static final int	OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	OPERATOR__CONTAINER_OPERATOR	1
public static final int	OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	OPERATOR__INPUT	9
public static final int	OPERATOR__OUTPUT	8
public static final int	OPERATOR__SORT	0
public static final int	OPERATOR__SUBTERM	7
public static final int	OPERATOR_DECL	17
public static final int	OPERATOR_DECL__CONTAINER_DECLARATIONS	2
public static final int	OPERATOR_DECL__ID	0
public static final int	OPERATOR_DECL__NAME	1
public static final int	OPERATOR_DECL_FEATURE_COUNT	3
public static final int	OPERATOR_FEATURE_COUNT	10
public static final int	PRODUCT_SORT	9
public static final int	PRODUCT_SORT__CONTAINER_ALL	5
public static final int	PRODUCT_SORT__CONTAINER_EMPTY	6
public static final int	PRODUCT_SORT__CONTAINER_NAMED_SORT	1
public static final int	PRODUCT_SORT__CONTAINER_PARTITION	7
public static final int	PRODUCT_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	PRODUCT_SORT__CONTAINER_TYPE	4
public static final int	PRODUCT_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	PRODUCT_SORT__ELEMENT_SORT	8
public static final int	PRODUCT_SORT__MULTI	0
public static final int	PRODUCT_SORT_FEATURE_COUNT	9
public static final int	SORT	2
public static final int	SORT__CONTAINER_ALL	5
public static final int	SORT__CONTAINER_EMPTY	6
public static final int	SORT__CONTAINER_NAMED_SORT	1
public static final int	SORT__CONTAINER_PARTITION	7
public static final int	SORT__CONTAINER_PRODUCT_SORT	3
public static final int	SORT__CONTAINER_TYPE	4
public static final int	SORT__CONTAINER_VARIABLE_DECL	2
public static final int	SORT__MULTI	0
public static final int	SORT_DECL	13
public static final int	SORT_DECL__CONTAINER_DECLARATIONS	2
public static final int	SORT_DECL__ID	0
public static final int	SORT_DECL__NAME	1
public static final int	SORT_DECL_FEATURE_COUNT	3
public static final int	SORT_FEATURE_COUNT	8
public static final int	TERM	4
public static final int	TERM__CONTAINER_CONDITION	4
public static final int	TERM__CONTAINER_HL_ANNOTATION	5
public static final int	TERM__CONTAINER_HL_MARKING	3
public static final int	TERM__CONTAINER_NAMED_OPERATOR	2
public static final int	TERM__CONTAINER_OPERATOR	1
public static final int	TERM__CONTAINER_PARTITION_ELEMENT	6
public static final int	TERM__SORT	0
public static final int	TERM_FEATURE_COUNT	7
public static final int	TERMS_DECLARATION	1
public static final int	TERMS_DECLARATION__CONTAINER_DECLARATIONS	2
public static final int	TERMS_DECLARATION__ID	0
public static final int	TERMS_DECLARATION__NAME	1
public static final int	TERMS_DECLARATION_FEATURE_COUNT	3
public static final int	TUPLE	12
public static final int	TUPLE__CONTAINER_CONDITION	4
public static final int	TUPLE__CONTAINER_HL_ANNOTATION	5
public static final int	TUPLE__CONTAINER_HL_MARKING	3
public static final int	TUPLE__CONTAINER_NAMED_OPERATOR	2
public static final int	TUPLE__CONTAINER_OPERATOR	1
public static final int	TUPLE__CONTAINER_PARTITION_ELEMENT	6
public static final int	TUPLE__INPUT	9
public static final int	TUPLE__OUTPUT	8
public static final int	TUPLE__SORT	0
public static final int	TUPLE__SUBTERM	7
public static final int	TUPLE_FEATURE_COUNT	10
public static final int	USER_OPERATOR	19
public static final int	USER_OPERATOR__CONTAINER_CONDITION	4
public static final int	USER_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	USER_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	USER_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	USER_OPERATOR__CONTAINER_OPERATOR	1
public static final int	USER_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	USER_OPERATOR__DECLARATION	10
public static final int	USER_OPERATOR__INPUT	9
public static final int	USER_OPERATOR__OUTPUT	8
public static final int	USER_OPERATOR__SORT	0
public static final int	USER_OPERATOR__SUBTERM	7
public static final int	USER_OPERATOR_FEATURE_COUNT	11
public static final int	USER_SORT	16
public static final int	USER_SORT__CONTAINER_ALL	5
public static final int	USER_SORT__CONTAINER_EMPTY	6
public static final int	USER_SORT__CONTAINER_NAMED_SORT	1
public static final int	USER_SORT__CONTAINER_PARTITION	7
public static final int	USER_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	USER_SORT__CONTAINER_TYPE	4
public static final int	USER_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	USER_SORT__DECLARATION	8
public static final int	USER_SORT__MULTI	0
public static final int	USER_SORT_FEATURE_COUNT	9
public static final int	VARIABLE	7
public static final int	VARIABLE__CONTAINER_CONDITION	4
public static final int	VARIABLE__CONTAINER_HL_ANNOTATION	5
public static final int	VARIABLE__CONTAINER_HL_MARKING	3
public static final int	VARIABLE__CONTAINER_NAMED_OPERATOR	2
public static final int	VARIABLE__CONTAINER_OPERATOR	1
public static final int	VARIABLE__CONTAINER_PARTITION_ELEMENT	6
public static final int	VARIABLE__SORT	0
public static final int	VARIABLE__VARIABLE_DECL	7
public static final int	VARIABLE_DECL	6
public static final int	VARIABLE_DECL__CONTAINER_DECLARATIONS	2
public static final int	VARIABLE_DECL__CONTAINER_NAMED_OPERATOR	4
public static final int	VARIABLE_DECL__ID	0
public static final int	VARIABLE_DECL__NAME	1
public static final int	VARIABLE_DECL__SORT	3
public static final int	VARIABLE_DECL_FEATURE_COUNT	5
public static final int	VARIABLE_FEATURE_COUNT	8

fr.lip6.move.pnml.pthlpng.terms.util.TermsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.pthlpng.terms"

fr.lip6.move.pnml.ptnet.CSS2Color

Modifier and Type	Constant Field	Value
public static final int	AQUA_VALUE	0
public static final int	BLACK_VALUE	1
public static final int	BLUE_VALUE	2
public static final int	FUCHSIA_VALUE	3
public static final int	GRAY_VALUE	4
public static final int	GREEN_VALUE	5
public static final int	LIME_VALUE	6
public static final int	MAROON_VALUE	7
public static final int	NAVY_VALUE	8
public static final int	OLIVE_VALUE	9
public static final int	ORANGE_VALUE	10
public static final int	PURPLE_VALUE	11
public static final int	RED_VALUE	12
public static final int	SILVER_VALUE	13
public static final int	TEAL_VALUE	14
public static final int	WHITE_VALUE	15
public static final int	YELLOW_VALUE	16

fr.lip6.move.pnml.ptnet.CSS2FontFamily

Modifier and Type	Constant Field	Value
public static final int	ARIAL_VALUE	1
public static final int	GEORGIA_VALUE	3
public static final int	TIMES_VALUE	2
public static final int	TREBUCHET_VALUE	4
public static final int	VERDANA_VALUE	0

fr.lip6.move.pnml.ptnet.CSS2FontSize

Modifier and Type	Constant Field	Value
public static final int	LARGE_VALUE	4
public static final int	MEDIUM_VALUE	3
public static final int	SMALL_VALUE	2
public static final int	XLARGE_VALUE	5
public static final int	XSMALL_VALUE	1
public static final int	XXLARGE_VALUE	6
public static final int	XXSMALL_VALUE	0

fr.lip6.move.pnml.ptnet.CSS2FontStyle

Modifier and Type	Constant Field	Value
public static final int	ITALIC_VALUE	1
public static final int	NORMAL_VALUE	0
public static final int	OBLIQUE_VALUE	2

fr.lip6.move.pnml.ptnet.CSS2FontWeight

Modifier and Type	Constant Field	Value
public static final int	BOLD_VALUE	1
public static final int	BOLDER_VALUE	2
public static final int	LIGHTER_VALUE	3
public static final int	NORMAL_VALUE	0

fr.lip6.move.pnml.ptnet.FontAlign

Modifier and Type	Constant Field	Value
public static final int	CENTER_VALUE	1
public static final int	LEFT_VALUE	0
public static final int	RIGHT_VALUE	2

fr.lip6.move.pnml.ptnet.FontDecoration

Modifier and Type	Constant Field	Value
public static final int	LINETHROUGH_VALUE	2
public static final int	OVERLINE_VALUE	1
public static final int	UNDERLINE_VALUE	0

fr.lip6.move.pnml.ptnet.Gradient

Modifier and Type	Constant Field	Value
public static final int	DIAGONAL_VALUE	2
public static final int	HORIZONTAL_VALUE	0
public static final int	VERTICAL_VALUE	1

fr.lip6.move.pnml.ptnet.LineShape

Modifier and Type	Constant Field	Value
public static final int	CURVE_VALUE	1
public static final int	LINE_VALUE	0

fr.lip6.move.pnml.ptnet.LineStyle

Modifier and Type	Constant Field	Value
public static final int	DASH_VALUE	1
public static final int	DOT_VALUE	2
public static final int	SOLID_VALUE	0

fr.lip6.move.pnml.ptnet.PNType

Modifier and Type	Constant Field	Value
public static final int	COREMODEL_VALUE	0
public static final int	HLPN_VALUE	3
public static final int	PTNET_VALUE	1
public static final int	SYMNET_VALUE	2

fr.lip6.move.pnml.ptnet.PtnetPackage

Modifier and Type	Constant Field	Value
public static final int	ANNOTATION	29
public static final int	ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	ANNOTATION__TOOLSPECIFICS	0
public static final int	ANNOTATION_FEATURE_COUNT	2
public static final int	ANNOTATION_GRAPHICS	15
public static final int	ANNOTATION_GRAPHICS__CONTAINER_ANNOTATION	4
public static final int	ANNOTATION_GRAPHICS__FILL	1
public static final int	ANNOTATION_GRAPHICS__FONT	3
public static final int	ANNOTATION_GRAPHICS__LINE	2
public static final int	ANNOTATION_GRAPHICS__OFFSET	0
public static final int	ANNOTATION_GRAPHICS_FEATURE_COUNT	5
public static final int	ANY_OBJECT	30
public static final int	ANY_OBJECT__CONTAINER_TOOL_INFO	0
public static final int	ANY_OBJECT_FEATURE_COUNT	1
public static final int	ARC	19
public static final int	ARC__ARCGRAPHICS	6
public static final int	ARC__CONTAINER_PAGE	3
public static final int	ARC__ID	0
public static final int	ARC__INSCRIPTION	7
public static final int	ARC__NAME	1
public static final int	ARC__SOURCE	4
public static final int	ARC__TARGET	5
public static final int	ARC__TOOLSPECIFICS	2
public static final int	ARC_FEATURE_COUNT	8
public static final int	ARC_GRAPHICS	18
public static final int	ARC_GRAPHICS__CONTAINER_ARC	2
public static final int	ARC_GRAPHICS__LINE	1
public static final int	ARC_GRAPHICS__POSITIONS	0
public static final int	ARC_GRAPHICS_FEATURE_COUNT	3
public static final int	ATTRIBUTE	28
public static final int	ATTRIBUTE__TOOLSPECIFICS	0
public static final int	ATTRIBUTE_FEATURE_COUNT	1
public static final int	COORDINATE	11
public static final int	COORDINATE__X	0
public static final int	COORDINATE__Y	1
public static final int	COORDINATE_FEATURE_COUNT	2
public static final int	CSS2_COLOR	32
public static final int	CSS2_FONT_FAMILY	37
public static final int	CSS2_FONT_SIZE	38
public static final int	CSS2_FONT_STYLE	39
public static final int	CSS2_FONT_WEIGHT	40
public static final int	DIMENSION	14
public static final int	DIMENSION__CONTAINER_DNODE_GRAPHICS	2
public static final int	DIMENSION__X	0
public static final int	DIMENSION__Y	1
public static final int	DIMENSION_FEATURE_COUNT	3
public static final String	eNAME	"ptnet"
public static final String	eNS_PREFIX	"ptnet"
public static final String	eNS_URI	"http:///ptnet.ecore"
public static final int	FILL	16
public static final int	FILL__COLOR	0
public static final int	FILL__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	FILL__CONTAINER_NODE_GRAPHICS	4
public static final int	FILL__GRADIENTCOLOR	1
public static final int	FILL__GRADIENTROTATION	2
public static final int	FILL__IMAGE	3
public static final int	FILL_FEATURE_COUNT	6
public static final int	FONT	21
public static final int	FONT__ALIGN	0
public static final int	FONT__CONTAINER_ANNOTATION_GRAPHICS	7
public static final int	FONT__DECORATION	1
public static final int	FONT__FAMILY	2
public static final int	FONT__ROTATION	3
public static final int	FONT__SIZE	4
public static final int	FONT__STYLE	5
public static final int	FONT__WEIGHT	6
public static final int	FONT_ALIGN	35
public static final int	FONT_DECORATION	36
public static final int	FONT_FEATURE_COUNT	8
public static final int	GRADIENT	33
public static final int	GRAPHICS	10
public static final int	GRAPHICS_FEATURE_COUNT	0
public static final int	LABEL	8
public static final int	LABEL__TOOLSPECIFICS	0
public static final int	LABEL_FEATURE_COUNT	1
public static final int	LINE	17
public static final int	LINE__COLOR	0
public static final int	LINE__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	LINE__CONTAINER_ARC_GRAPHICS	4
public static final int	LINE__CONTAINER_NODE_GRAPHICS	3
public static final int	LINE__SHAPE	1
public static final int	LINE__STYLE	6
public static final int	LINE__WIDTH	2
public static final int	LINE_FEATURE_COUNT	7
public static final int	LINE_SHAPE	34
public static final int	LINE_STYLE	41
public static final int	LONG_STRING	45
public static final int	NAME	6
public static final int	NAME__ANNOTATIONGRAPHICS	1
public static final int	NAME__CONTAINER_NAME_PETRI_NET	3
public static final int	NAME__CONTAINER_NAME_PN_OBJECT	4
public static final int	NAME__TEXT	2
public static final int	NAME__TOOLSPECIFICS	0
public static final int	NAME_FEATURE_COUNT	5
public static final int	NATURAL	43
public static final int	NODE	20
public static final int	NODE__CONTAINER_PAGE	3
public static final int	NODE__ID	0
public static final int	NODE__IN_ARCS	4
public static final int	NODE__NAME	1
public static final int	NODE__NODEGRAPHICS	6
public static final int	NODE__OUT_ARCS	5
public static final int	NODE__TOOLSPECIFICS	2
public static final int	NODE_FEATURE_COUNT	7
public static final int	NODE_GRAPHICS	9
public static final int	NODE_GRAPHICS__CONTAINER_NODE	4
public static final int	NODE_GRAPHICS__CONTAINER_PAGE	5
public static final int	NODE_GRAPHICS__DIMENSION	1
public static final int	NODE_GRAPHICS__FILL	2
public static final int	NODE_GRAPHICS__LINE	3
public static final int	NODE_GRAPHICS__POSITION	0
public static final int	NODE_GRAPHICS_FEATURE_COUNT	6
public static final int	OFFSET	13
public static final int	OFFSET__CONTAINER_ANNOTATION_GRAPHICS	2
public static final int	OFFSET__X	0
public static final int	OFFSET__Y	1
public static final int	OFFSET_FEATURE_COUNT	3
public static final int	PAGE	4
public static final int	PAGE__CONTAINER_PAGE	3
public static final int	PAGE__CONTAINER_PETRI_NET	5
public static final int	PAGE__ID	0
public static final int	PAGE__NAME	1
public static final int	PAGE__NODEGRAPHICS	6
public static final int	PAGE__OBJECTS	4
public static final int	PAGE__TOOLSPECIFICS	2
public static final int	PAGE_FEATURE_COUNT	7
public static final int	PETRI_NET	3
public static final int	PETRI_NET__CONTAINER_PETRI_NET_DOC	5
public static final int	PETRI_NET__ID	0
public static final int	PETRI_NET__NAME	3
public static final int	PETRI_NET__PAGES	2
public static final int	PETRI_NET__TOOLSPECIFICS	4
public static final int	PETRI_NET__TYPE	1
public static final int	PETRI_NET_DOC	2
public static final int	PETRI_NET_DOC__NETS	0
public static final int	PETRI_NET_DOC__XMLNS	1
public static final int	PETRI_NET_DOC_FEATURE_COUNT	2
public static final int	PETRI_NET_FEATURE_COUNT	6
public static final int	PLACE	24
public static final int	PLACE__CONTAINER_PAGE	3
public static final int	PLACE__ID	0
public static final int	PLACE__IN_ARCS	4
public static final int	PLACE__INITIAL_MARKING	8
public static final int	PLACE__NAME	1
public static final int	PLACE__NODEGRAPHICS	6
public static final int	PLACE__OUT_ARCS	5
public static final int	PLACE__REFERENCING_PLACES	7
public static final int	PLACE__TOOLSPECIFICS	2
public static final int	PLACE_FEATURE_COUNT	9
public static final int	PLACE_NODE	22
public static final int	PLACE_NODE__CONTAINER_PAGE	3
public static final int	PLACE_NODE__ID	0
public static final int	PLACE_NODE__IN_ARCS	4
public static final int	PLACE_NODE__NAME	1
public static final int	PLACE_NODE__NODEGRAPHICS	6
public static final int	PLACE_NODE__OUT_ARCS	5
public static final int	PLACE_NODE__REFERENCING_PLACES	7
public static final int	PLACE_NODE__TOOLSPECIFICS	2
public static final int	PLACE_NODE_FEATURE_COUNT	8
public static final int	PN_OBJECT	5
public static final int	PN_OBJECT__CONTAINER_PAGE	3
public static final int	PN_OBJECT__ID	0
public static final int	PN_OBJECT__NAME	1
public static final int	PN_OBJECT__TOOLSPECIFICS	2
public static final int	PN_OBJECT_FEATURE_COUNT	4
public static final int	PN_TYPE	31
public static final int	POSITION	12
public static final int	POSITION__CONTAINER_ARC_GRAPHICS	2
public static final int	POSITION__CONTAINER_PNODE_GRAPHICS	3
public static final int	POSITION__X	0
public static final int	POSITION__Y	1
public static final int	POSITION_FEATURE_COUNT	4
public static final int	POSITIVE_INTEGER	42
public static final int	PT_ARC_ANNOTATION	1
public static final int	PT_ARC_ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	PT_ARC_ANNOTATION__CONTAINER_ARC	3
public static final int	PT_ARC_ANNOTATION__TEXT	2
public static final int	PT_ARC_ANNOTATION__TOOLSPECIFICS	0
public static final int	PT_ARC_ANNOTATION_FEATURE_COUNT	4
public static final int	PT_MARKING	0
public static final int	PT_MARKING__ANNOTATIONGRAPHICS	1
public static final int	PT_MARKING__CONTAINER_PLACE	3
public static final int	PT_MARKING__TEXT	2
public static final int	PT_MARKING__TOOLSPECIFICS	0
public static final int	PT_MARKING_FEATURE_COUNT	4
public static final int	REF_PLACE	27
public static final int	REF_PLACE__CONTAINER_PAGE	3
public static final int	REF_PLACE__ID	0
public static final int	REF_PLACE__IN_ARCS	4
public static final int	REF_PLACE__NAME	1
public static final int	REF_PLACE__NODEGRAPHICS	6
public static final int	REF_PLACE__OUT_ARCS	5
public static final int	REF_PLACE__REF	8
public static final int	REF_PLACE__REFERENCING_PLACES	7
public static final int	REF_PLACE__TOOLSPECIFICS	2
public static final int	REF_PLACE_FEATURE_COUNT	9
public static final int	REF_TRANSITION	25
public static final int	REF_TRANSITION__CONTAINER_PAGE	3
public static final int	REF_TRANSITION__ID	0
public static final int	REF_TRANSITION__IN_ARCS	4
public static final int	REF_TRANSITION__NAME	1
public static final int	REF_TRANSITION__NODEGRAPHICS	6
public static final int	REF_TRANSITION__OUT_ARCS	5
public static final int	REF_TRANSITION__REF	8
public static final int	REF_TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	REF_TRANSITION__TOOLSPECIFICS	2
public static final int	REF_TRANSITION_FEATURE_COUNT	9
public static final int	TOOL_INFO	7
public static final int	TOOL_INFO__CONTAINER_LABEL	6
public static final int	TOOL_INFO__CONTAINER_PETRI_NET	4
public static final int	TOOL_INFO__CONTAINER_PN_OBJECT	5
public static final int	TOOL_INFO__FORMATTED_XML_BUFFER	2
public static final int	TOOL_INFO__TOOL	0
public static final int	TOOL_INFO__TOOL_INFO_GRAMMAR_URI	3
public static final int	TOOL_INFO__TOOL_INFO_MODEL	7
public static final int	TOOL_INFO__VERSION	1
public static final int	TOOL_INFO_FEATURE_COUNT	8
public static final int	TRANSITION	26
public static final int	TRANSITION__CONTAINER_PAGE	3
public static final int	TRANSITION__ID	0
public static final int	TRANSITION__IN_ARCS	4
public static final int	TRANSITION__NAME	1
public static final int	TRANSITION__NODEGRAPHICS	6
public static final int	TRANSITION__OUT_ARCS	5
public static final int	TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION__TOOLSPECIFICS	2
public static final int	TRANSITION_FEATURE_COUNT	8
public static final int	TRANSITION_NODE	23
public static final int	TRANSITION_NODE__CONTAINER_PAGE	3
public static final int	TRANSITION_NODE__ID	0
public static final int	TRANSITION_NODE__IN_ARCS	4
public static final int	TRANSITION_NODE__NAME	1
public static final int	TRANSITION_NODE__NODEGRAPHICS	6
public static final int	TRANSITION_NODE__OUT_ARCS	5
public static final int	TRANSITION_NODE__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION_NODE__TOOLSPECIFICS	2
public static final int	TRANSITION_NODE_FEATURE_COUNT	8
public static final int	URI	44

fr.lip6.move.pnml.ptnet.impl.PetriNetDocImpl

Modifier and Type	Constant Field	Value
protected static final String	XMLNS_EDEFAULT	"http://www.pnml.org/version-2009/grammar/pnml"

fr.lip6.move.pnml.ptnet.impl.PetriNetImpl

Modifier and Type	Constant Field	Value
protected static final String	ID_EDEFAULT	""

fr.lip6.move.pnml.ptnet.util.PtnetValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.ptnet"

fr.lip6.move.pnml.symmetricnet.booleans.BooleansPackage

Modifier and Type	Constant Field	Value
public static final int	AND	5
public static final int	AND__CONTAINER_CONDITION	4
public static final int	AND__CONTAINER_HL_ANNOTATION	5
public static final int	AND__CONTAINER_HL_MARKING	3
public static final int	AND__CONTAINER_NAMED_OPERATOR	2
public static final int	AND__CONTAINER_OPERATOR	1
public static final int	AND__CONTAINER_PARTITION_ELEMENT	6
public static final int	AND__INPUT	9
public static final int	AND__OUTPUT	8
public static final int	AND__SORT	0
public static final int	AND__SUBTERM	7
public static final int	AND_FEATURE_COUNT	10
public static final int	BOOL	8
public static final int	BOOL__CONTAINER_ALL	5
public static final int	BOOL__CONTAINER_EMPTY	6
public static final int	BOOL__CONTAINER_NAMED_SORT	1
public static final int	BOOL__CONTAINER_PARTITION	7
public static final int	BOOL__CONTAINER_PRODUCT_SORT	3
public static final int	BOOL__CONTAINER_TYPE	4
public static final int	BOOL__CONTAINER_VARIABLE_DECL	2
public static final int	BOOL__MULTI	0
public static final int	BOOL_FEATURE_COUNT	8
public static final int	BOOLEAN_CONSTANT	2
public static final int	BOOLEAN_CONSTANT__CONTAINER_CONDITION	4
public static final int	BOOLEAN_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	BOOLEAN_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	BOOLEAN_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	BOOLEAN_CONSTANT__CONTAINER_OPERATOR	1
public static final int	BOOLEAN_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	BOOLEAN_CONSTANT__INPUT	9
public static final int	BOOLEAN_CONSTANT__OUTPUT	8
public static final int	BOOLEAN_CONSTANT__SORT	0
public static final int	BOOLEAN_CONSTANT__SUBTERM	7
public static final int	BOOLEAN_CONSTANT__VALUE	10
public static final int	BOOLEAN_CONSTANT_FEATURE_COUNT	11
public static final int	BOOLEAN_OPERATOR	4
public static final int	BOOLEAN_OPERATOR__CONTAINER_CONDITION	4
public static final int	BOOLEAN_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	BOOLEAN_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	BOOLEAN_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	BOOLEAN_OPERATOR__CONTAINER_OPERATOR	1
public static final int	BOOLEAN_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	BOOLEAN_OPERATOR__INPUT	9
public static final int	BOOLEAN_OPERATOR__OUTPUT	8
public static final int	BOOLEAN_OPERATOR__SORT	0
public static final int	BOOLEAN_OPERATOR__SUBTERM	7
public static final int	BOOLEAN_OPERATOR_FEATURE_COUNT	10
public static final String	eNAME	"booleans"
public static final String	eNS_PREFIX	"booleans"
public static final String	eNS_URI	"http:///symmetricnet.booleans.ecore"
public static final int	EQUALITY	0
public static final int	EQUALITY__CONTAINER_CONDITION	4
public static final int	EQUALITY__CONTAINER_HL_ANNOTATION	5
public static final int	EQUALITY__CONTAINER_HL_MARKING	3
public static final int	EQUALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	EQUALITY__CONTAINER_OPERATOR	1
public static final int	EQUALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	EQUALITY__INPUT	9
public static final int	EQUALITY__OUTPUT	8
public static final int	EQUALITY__SORT	0
public static final int	EQUALITY__SUBTERM	7
public static final int	EQUALITY_FEATURE_COUNT	10
public static final int	IMPLY	6
public static final int	IMPLY__CONTAINER_CONDITION	4
public static final int	IMPLY__CONTAINER_HL_ANNOTATION	5
public static final int	IMPLY__CONTAINER_HL_MARKING	3
public static final int	IMPLY__CONTAINER_NAMED_OPERATOR	2
public static final int	IMPLY__CONTAINER_OPERATOR	1
public static final int	IMPLY__CONTAINER_PARTITION_ELEMENT	6
public static final int	IMPLY__INPUT	9
public static final int	IMPLY__OUTPUT	8
public static final int	IMPLY__SORT	0
public static final int	IMPLY__SUBTERM	7
public static final int	IMPLY_FEATURE_COUNT	10
public static final int	INEQUALITY	1
public static final int	INEQUALITY__CONTAINER_CONDITION	4
public static final int	INEQUALITY__CONTAINER_HL_ANNOTATION	5
public static final int	INEQUALITY__CONTAINER_HL_MARKING	3
public static final int	INEQUALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	INEQUALITY__CONTAINER_OPERATOR	1
public static final int	INEQUALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	INEQUALITY__INPUT	9
public static final int	INEQUALITY__OUTPUT	8
public static final int	INEQUALITY__SORT	0
public static final int	INEQUALITY__SUBTERM	7
public static final int	INEQUALITY_FEATURE_COUNT	10
public static final int	NOT	7
public static final int	NOT__CONTAINER_CONDITION	4
public static final int	NOT__CONTAINER_HL_ANNOTATION	5
public static final int	NOT__CONTAINER_HL_MARKING	3
public static final int	NOT__CONTAINER_NAMED_OPERATOR	2
public static final int	NOT__CONTAINER_OPERATOR	1
public static final int	NOT__CONTAINER_PARTITION_ELEMENT	6
public static final int	NOT__INPUT	9
public static final int	NOT__OUTPUT	8
public static final int	NOT__SORT	0
public static final int	NOT__SUBTERM	7
public static final int	NOT_FEATURE_COUNT	10
public static final int	OR	3
public static final int	OR__CONTAINER_CONDITION	4
public static final int	OR__CONTAINER_HL_ANNOTATION	5
public static final int	OR__CONTAINER_HL_MARKING	3
public static final int	OR__CONTAINER_NAMED_OPERATOR	2
public static final int	OR__CONTAINER_OPERATOR	1
public static final int	OR__CONTAINER_PARTITION_ELEMENT	6
public static final int	OR__INPUT	9
public static final int	OR__OUTPUT	8
public static final int	OR__SORT	0
public static final int	OR__SUBTERM	7
public static final int	OR_FEATURE_COUNT	10

fr.lip6.move.pnml.symmetricnet.booleans.util.BooleansValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.symmetricnet.booleans"

fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.CyclicEnumerationsPackage

Modifier and Type	Constant Field	Value
public static final int	CYCLIC_ENUM_OPERATOR	0
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_CONDITION	4
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_OPERATOR	1
public static final int	CYCLIC_ENUM_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	CYCLIC_ENUM_OPERATOR__INPUT	9
public static final int	CYCLIC_ENUM_OPERATOR__OUTPUT	8
public static final int	CYCLIC_ENUM_OPERATOR__SORT	0
public static final int	CYCLIC_ENUM_OPERATOR__SUBTERM	7
public static final int	CYCLIC_ENUM_OPERATOR_FEATURE_COUNT	10
public static final int	CYCLIC_ENUMERATION	1
public static final int	CYCLIC_ENUMERATION__CONTAINER_ALL	5
public static final int	CYCLIC_ENUMERATION__CONTAINER_EMPTY	6
public static final int	CYCLIC_ENUMERATION__CONTAINER_NAMED_SORT	1
public static final int	CYCLIC_ENUMERATION__CONTAINER_PARTITION	7
public static final int	CYCLIC_ENUMERATION__CONTAINER_PRODUCT_SORT	3
public static final int	CYCLIC_ENUMERATION__CONTAINER_TYPE	4
public static final int	CYCLIC_ENUMERATION__CONTAINER_VARIABLE_DECL	2
public static final int	CYCLIC_ENUMERATION__ELEMENTS	8
public static final int	CYCLIC_ENUMERATION__MULTI	0
public static final int	CYCLIC_ENUMERATION_FEATURE_COUNT	9
public static final String	eNAME	"cyclicEnumerations"
public static final String	eNS_PREFIX	"cyclicEnumerations"
public static final String	eNS_URI	"http:///symmetricnet.cyclicEnumerations.ecore"
public static final int	PREDECESSOR	3
public static final int	PREDECESSOR__CONTAINER_CONDITION	4
public static final int	PREDECESSOR__CONTAINER_HL_ANNOTATION	5
public static final int	PREDECESSOR__CONTAINER_HL_MARKING	3
public static final int	PREDECESSOR__CONTAINER_NAMED_OPERATOR	2
public static final int	PREDECESSOR__CONTAINER_OPERATOR	1
public static final int	PREDECESSOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	PREDECESSOR__INPUT	9
public static final int	PREDECESSOR__OUTPUT	8
public static final int	PREDECESSOR__SORT	0
public static final int	PREDECESSOR__SUBTERM	7
public static final int	PREDECESSOR_FEATURE_COUNT	10
public static final int	SUCCESSOR	2
public static final int	SUCCESSOR__CONTAINER_CONDITION	4
public static final int	SUCCESSOR__CONTAINER_HL_ANNOTATION	5
public static final int	SUCCESSOR__CONTAINER_HL_MARKING	3
public static final int	SUCCESSOR__CONTAINER_NAMED_OPERATOR	2
public static final int	SUCCESSOR__CONTAINER_OPERATOR	1
public static final int	SUCCESSOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUCCESSOR__INPUT	9
public static final int	SUCCESSOR__OUTPUT	8
public static final int	SUCCESSOR__SORT	0
public static final int	SUCCESSOR__SUBTERM	7
public static final int	SUCCESSOR_FEATURE_COUNT	10

fr.lip6.move.pnml.symmetricnet.cyclicEnumerations.util.CyclicEnumerationsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.symmetricnet.cyclicEnumerations"

fr.lip6.move.pnml.symmetricnet.dots.DotsPackage

Modifier and Type	Constant Field	Value
public static final int	DOT	0
public static final int	DOT__CONTAINER_ALL	5
public static final int	DOT__CONTAINER_EMPTY	6
public static final int	DOT__CONTAINER_NAMED_SORT	1
public static final int	DOT__CONTAINER_PARTITION	7
public static final int	DOT__CONTAINER_PRODUCT_SORT	3
public static final int	DOT__CONTAINER_TYPE	4
public static final int	DOT__CONTAINER_VARIABLE_DECL	2
public static final int	DOT__MULTI	0
public static final int	DOT_CONSTANT	1
public static final int	DOT_CONSTANT__CONTAINER_CONDITION	4
public static final int	DOT_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	DOT_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	DOT_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	DOT_CONSTANT__CONTAINER_OPERATOR	1
public static final int	DOT_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	DOT_CONSTANT__INPUT	9
public static final int	DOT_CONSTANT__OUTPUT	8
public static final int	DOT_CONSTANT__SORT	0
public static final int	DOT_CONSTANT__SUBTERM	7
public static final int	DOT_CONSTANT_FEATURE_COUNT	10
public static final int	DOT_FEATURE_COUNT	8
public static final String	eNAME	"dots"
public static final String	eNS_PREFIX	"dots"
public static final String	eNS_URI	"http:///symmetricnet.dots.ecore"

fr.lip6.move.pnml.symmetricnet.finiteEnumerations.FiniteEnumerationsPackage

Modifier and Type	Constant Field	Value
public static final String	eNAME	"finiteEnumerations"
public static final String	eNS_PREFIX	"finiteEnumerations"
public static final String	eNS_URI	"http:///symmetricnet.finiteEnumerations.ecore"
public static final int	FE_CONSTANT	1
public static final int	FE_CONSTANT__CONTAINER_DECLARATIONS	2
public static final int	FE_CONSTANT__ID	0
public static final int	FE_CONSTANT__NAME	1
public static final int	FE_CONSTANT__SORT	3
public static final int	FE_CONSTANT_FEATURE_COUNT	4
public static final int	FINITE_ENUMERATION	0
public static final int	FINITE_ENUMERATION__CONTAINER_ALL	5
public static final int	FINITE_ENUMERATION__CONTAINER_EMPTY	6
public static final int	FINITE_ENUMERATION__CONTAINER_NAMED_SORT	1
public static final int	FINITE_ENUMERATION__CONTAINER_PARTITION	7
public static final int	FINITE_ENUMERATION__CONTAINER_PRODUCT_SORT	3
public static final int	FINITE_ENUMERATION__CONTAINER_TYPE	4
public static final int	FINITE_ENUMERATION__CONTAINER_VARIABLE_DECL	2
public static final int	FINITE_ENUMERATION__ELEMENTS	8
public static final int	FINITE_ENUMERATION__MULTI	0
public static final int	FINITE_ENUMERATION_FEATURE_COUNT	9

fr.lip6.move.pnml.symmetricnet.finiteIntRanges.FiniteIntRangesPackage

Modifier and Type	Constant Field	Value
public static final String	eNAME	"finiteIntRanges"
public static final String	eNS_PREFIX	"finiteIntRanges"
public static final String	eNS_URI	"http:///symmetricnet.finiteIntRanges.ecore"
public static final int	FINITE_INT_RANGE	0
public static final int	FINITE_INT_RANGE__CONTAINER_ALL	5
public static final int	FINITE_INT_RANGE__CONTAINER_EMPTY	6
public static final int	FINITE_INT_RANGE__CONTAINER_FINITE_INT_RANGE_CONSTANT	10
public static final int	FINITE_INT_RANGE__CONTAINER_NAMED_SORT	1
public static final int	FINITE_INT_RANGE__CONTAINER_PARTITION	7
public static final int	FINITE_INT_RANGE__CONTAINER_PRODUCT_SORT	3
public static final int	FINITE_INT_RANGE__CONTAINER_TYPE	4
public static final int	FINITE_INT_RANGE__CONTAINER_VARIABLE_DECL	2
public static final int	FINITE_INT_RANGE__END	9
public static final int	FINITE_INT_RANGE__MULTI	0
public static final int	FINITE_INT_RANGE__START	8
public static final int	FINITE_INT_RANGE_CONSTANT	1
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_CONDITION	4
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_OPERATOR	1
public static final int	FINITE_INT_RANGE_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	FINITE_INT_RANGE_CONSTANT__INPUT	9
public static final int	FINITE_INT_RANGE_CONSTANT__OUTPUT	8
public static final int	FINITE_INT_RANGE_CONSTANT__RANGE	11
public static final int	FINITE_INT_RANGE_CONSTANT__SORT	0
public static final int	FINITE_INT_RANGE_CONSTANT__SUBTERM	7
public static final int	FINITE_INT_RANGE_CONSTANT__VALUE	10
public static final int	FINITE_INT_RANGE_CONSTANT_FEATURE_COUNT	12
public static final int	FINITE_INT_RANGE_FEATURE_COUNT	11
public static final int	FINITE_INT_RANGE_OPERATOR	3
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_CONDITION	4
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_OPERATOR	1
public static final int	FINITE_INT_RANGE_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	FINITE_INT_RANGE_OPERATOR__INPUT	9
public static final int	FINITE_INT_RANGE_OPERATOR__OUTPUT	8
public static final int	FINITE_INT_RANGE_OPERATOR__SORT	0
public static final int	FINITE_INT_RANGE_OPERATOR__SUBTERM	7
public static final int	FINITE_INT_RANGE_OPERATOR_FEATURE_COUNT	10
public static final int	GREATER_THAN	4
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	GREATER_THAN_OR_EQUAL	6
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN_OR_EQUAL__INPUT	9
public static final int	GREATER_THAN_OR_EQUAL__OUTPUT	8
public static final int	GREATER_THAN_OR_EQUAL__SORT	0
public static final int	GREATER_THAN_OR_EQUAL__SUBTERM	7
public static final int	GREATER_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	LESS_THAN	2
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN_OR_EQUAL	5
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN_OR_EQUAL__INPUT	9
public static final int	LESS_THAN_OR_EQUAL__OUTPUT	8
public static final int	LESS_THAN_OR_EQUAL__SORT	0
public static final int	LESS_THAN_OR_EQUAL__SUBTERM	7
public static final int	LESS_THAN_OR_EQUAL_FEATURE_COUNT	10

fr.lip6.move.pnml.symmetricnet.finiteIntRanges.util.FiniteIntRangesValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.symmetricnet.finiteIntRanges"

fr.lip6.move.pnml.symmetricnet.hlcorestructure.CSS2Color

Modifier and Type	Constant Field	Value
public static final int	AQUA_VALUE	0
public static final int	BLACK_VALUE	1
public static final int	BLUE_VALUE	2
public static final int	FUCHSIA_VALUE	3
public static final int	GRAY_VALUE	4
public static final int	GREEN_VALUE	5
public static final int	LIME_VALUE	6
public static final int	MAROON_VALUE	7
public static final int	NAVY_VALUE	8
public static final int	OLIVE_VALUE	9
public static final int	ORANGE_VALUE	10
public static final int	PURPLE_VALUE	11
public static final int	RED_VALUE	12
public static final int	SILVER_VALUE	13
public static final int	TEAL_VALUE	14
public static final int	WHITE_VALUE	15
public static final int	YELLOW_VALUE	16

fr.lip6.move.pnml.symmetricnet.hlcorestructure.CSS2FontFamily

Modifier and Type	Constant Field	Value
public static final int	ARIAL_VALUE	1
public static final int	GEORGIA_VALUE	3
public static final int	TIMES_VALUE	2
public static final int	TREBUCHET_VALUE	4
public static final int	VERDANA_VALUE	0

fr.lip6.move.pnml.symmetricnet.hlcorestructure.CSS2FontSize

Modifier and Type	Constant Field	Value
public static final int	LARGE_VALUE	4
public static final int	MEDIUM_VALUE	3
public static final int	SMALL_VALUE	2
public static final int	XLARGE_VALUE	5
public static final int	XSMALL_VALUE	1
public static final int	XXLARGE_VALUE	6
public static final int	XXSMALL_VALUE	0

fr.lip6.move.pnml.symmetricnet.hlcorestructure.CSS2FontStyle

Modifier and Type	Constant Field	Value
public static final int	ITALIC_VALUE	1
public static final int	NORMAL_VALUE	0
public static final int	OBLIQUE_VALUE	2

fr.lip6.move.pnml.symmetricnet.hlcorestructure.CSS2FontWeight

Modifier and Type	Constant Field	Value
public static final int	BOLD_VALUE	1
public static final int	BOLDER_VALUE	2
public static final int	LIGHTER_VALUE	3
public static final int	NORMAL_VALUE	0

fr.lip6.move.pnml.symmetricnet.hlcorestructure.FontAlign

Modifier and Type	Constant Field	Value
public static final int	CENTER_VALUE	1
public static final int	LEFT_VALUE	0
public static final int	RIGHT_VALUE	2

fr.lip6.move.pnml.symmetricnet.hlcorestructure.FontDecoration

Modifier and Type	Constant Field	Value
public static final int	LINETHROUGH_VALUE	2
public static final int	OVERLINE_VALUE	1
public static final int	UNDERLINE_VALUE	0

fr.lip6.move.pnml.symmetricnet.hlcorestructure.Gradient

Modifier and Type	Constant Field	Value
public static final int	DIAGONAL_VALUE	2
public static final int	HORIZONTAL_VALUE	0
public static final int	VERTICAL_VALUE	1

fr.lip6.move.pnml.symmetricnet.hlcorestructure.HlcorestructurePackage

Modifier and Type	Constant Field	Value
public static final int	ANNOTATION	27
public static final int	ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	ANNOTATION__TOOLSPECIFICS	0
public static final int	ANNOTATION_FEATURE_COUNT	2
public static final int	ANNOTATION_GRAPHICS	13
public static final int	ANNOTATION_GRAPHICS__CONTAINER_ANNOTATION	4
public static final int	ANNOTATION_GRAPHICS__FILL	1
public static final int	ANNOTATION_GRAPHICS__FONT	3
public static final int	ANNOTATION_GRAPHICS__LINE	2
public static final int	ANNOTATION_GRAPHICS__OFFSET	0
public static final int	ANNOTATION_GRAPHICS_FEATURE_COUNT	5
public static final int	ANY_OBJECT	28
public static final int	ANY_OBJECT__CONTAINER_TOOL_INFO	0
public static final int	ANY_OBJECT_FEATURE_COUNT	1
public static final int	ARC	17
public static final int	ARC__ARCGRAPHICS	6
public static final int	ARC__CONTAINER_PAGE	3
public static final int	ARC__HLINSCRIPTION	7
public static final int	ARC__ID	0
public static final int	ARC__NAME	1
public static final int	ARC__SOURCE	4
public static final int	ARC__TARGET	5
public static final int	ARC__TOOLSPECIFICS	2
public static final int	ARC_FEATURE_COUNT	8
public static final int	ARC_GRAPHICS	16
public static final int	ARC_GRAPHICS__CONTAINER_ARC	2
public static final int	ARC_GRAPHICS__LINE	1
public static final int	ARC_GRAPHICS__POSITIONS	0
public static final int	ARC_GRAPHICS_FEATURE_COUNT	3
public static final int	ATTRIBUTE	26
public static final int	ATTRIBUTE__TOOLSPECIFICS	0
public static final int	ATTRIBUTE_FEATURE_COUNT	1
public static final int	CONDITION	32
public static final int	CONDITION__ANNOTATIONGRAPHICS	1
public static final int	CONDITION__CONTAINER_TRANSITION	4
public static final int	CONDITION__STRUCTURE	3
public static final int	CONDITION__TEXT	2
public static final int	CONDITION__TOOLSPECIFICS	0
public static final int	CONDITION_FEATURE_COUNT	5
public static final int	COORDINATE	9
public static final int	COORDINATE__X	0
public static final int	COORDINATE__Y	1
public static final int	COORDINATE_FEATURE_COUNT	2
public static final int	CSS2_COLOR	36
public static final int	CSS2_FONT_FAMILY	41
public static final int	CSS2_FONT_SIZE	42
public static final int	CSS2_FONT_STYLE	43
public static final int	CSS2_FONT_WEIGHT	44
public static final int	DECLARATION	34
public static final int	DECLARATION__ANNOTATIONGRAPHICS	1
public static final int	DECLARATION__CONTAINER_DECLARATION_PAGE	5
public static final int	DECLARATION__CONTAINER_DECLARATION_PETRI_NET	4
public static final int	DECLARATION__STRUCTURE	3
public static final int	DECLARATION__TEXT	2
public static final int	DECLARATION__TOOLSPECIFICS	0
public static final int	DECLARATION_FEATURE_COUNT	6
public static final int	DIMENSION	12
public static final int	DIMENSION__CONTAINER_DNODE_GRAPHICS	2
public static final int	DIMENSION__X	0
public static final int	DIMENSION__Y	1
public static final int	DIMENSION_FEATURE_COUNT	3
public static final String	eNAME	"hlcorestructure"
public static final String	eNS_PREFIX	"hlcorestructure"
public static final String	eNS_URI	"http:///symmetricnet.hlcorestructure.ecore"
public static final int	FILL	14
public static final int	FILL__COLOR	0
public static final int	FILL__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	FILL__CONTAINER_NODE_GRAPHICS	4
public static final int	FILL__GRADIENTCOLOR	1
public static final int	FILL__GRADIENTROTATION	2
public static final int	FILL__IMAGE	3
public static final int	FILL_FEATURE_COUNT	6
public static final int	FONT	19
public static final int	FONT__ALIGN	0
public static final int	FONT__CONTAINER_ANNOTATION_GRAPHICS	7
public static final int	FONT__DECORATION	1
public static final int	FONT__FAMILY	2
public static final int	FONT__ROTATION	3
public static final int	FONT__SIZE	4
public static final int	FONT__STYLE	5
public static final int	FONT__WEIGHT	6
public static final int	FONT_ALIGN	39
public static final int	FONT_DECORATION	40
public static final int	FONT_FEATURE_COUNT	8
public static final int	GRADIENT	37
public static final int	GRAPHICS	8
public static final int	GRAPHICS_FEATURE_COUNT	0
public static final int	HL_ANNOTATION	33
public static final int	HL_ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	HL_ANNOTATION__CONTAINER_ARC	4
public static final int	HL_ANNOTATION__STRUCTURE	3
public static final int	HL_ANNOTATION__TEXT	2
public static final int	HL_ANNOTATION__TOOLSPECIFICS	0
public static final int	HL_ANNOTATION_FEATURE_COUNT	5
public static final int	HL_CORE_ANNOTATION	29
public static final int	HL_CORE_ANNOTATION__ANNOTATIONGRAPHICS	1
public static final int	HL_CORE_ANNOTATION__TEXT	2
public static final int	HL_CORE_ANNOTATION__TOOLSPECIFICS	0
public static final int	HL_CORE_ANNOTATION_FEATURE_COUNT	3
public static final int	HL_MARKING	31
public static final int	HL_MARKING__ANNOTATIONGRAPHICS	1
public static final int	HL_MARKING__CONTAINER_PLACE	4
public static final int	HL_MARKING__STRUCTURE	3
public static final int	HL_MARKING__TEXT	2
public static final int	HL_MARKING__TOOLSPECIFICS	0
public static final int	HL_MARKING_FEATURE_COUNT	5
public static final int	LABEL	6
public static final int	LABEL__TOOLSPECIFICS	0
public static final int	LABEL_FEATURE_COUNT	1
public static final int	LINE	15
public static final int	LINE__COLOR	0
public static final int	LINE__CONTAINER_ANNOTATION_GRAPHICS	5
public static final int	LINE__CONTAINER_ARC_GRAPHICS	4
public static final int	LINE__CONTAINER_NODE_GRAPHICS	3
public static final int	LINE__SHAPE	1
public static final int	LINE__STYLE	6
public static final int	LINE__WIDTH	2
public static final int	LINE_FEATURE_COUNT	7
public static final int	LINE_SHAPE	38
public static final int	LINE_STYLE	45
public static final int	LONG_STRING	47
public static final int	NAME	4
public static final int	NAME__ANNOTATIONGRAPHICS	1
public static final int	NAME__CONTAINER_NAME_PETRI_NET	3
public static final int	NAME__CONTAINER_NAME_PN_OBJECT	4
public static final int	NAME__TEXT	2
public static final int	NAME__TOOLSPECIFICS	0
public static final int	NAME_FEATURE_COUNT	5
public static final int	NODE	18
public static final int	NODE__CONTAINER_PAGE	3
public static final int	NODE__ID	0
public static final int	NODE__IN_ARCS	4
public static final int	NODE__NAME	1
public static final int	NODE__NODEGRAPHICS	6
public static final int	NODE__OUT_ARCS	5
public static final int	NODE__TOOLSPECIFICS	2
public static final int	NODE_FEATURE_COUNT	7
public static final int	NODE_GRAPHICS	7
public static final int	NODE_GRAPHICS__CONTAINER_NODE	4
public static final int	NODE_GRAPHICS__CONTAINER_PAGE	5
public static final int	NODE_GRAPHICS__DIMENSION	1
public static final int	NODE_GRAPHICS__FILL	2
public static final int	NODE_GRAPHICS__LINE	3
public static final int	NODE_GRAPHICS__POSITION	0
public static final int	NODE_GRAPHICS_FEATURE_COUNT	6
public static final int	OFFSET	11
public static final int	OFFSET__CONTAINER_ANNOTATION_GRAPHICS	2
public static final int	OFFSET__X	0
public static final int	OFFSET__Y	1
public static final int	OFFSET_FEATURE_COUNT	3
public static final int	PAGE	2
public static final int	PAGE__CONTAINER_PAGE	3
public static final int	PAGE__CONTAINER_PETRI_NET	5
public static final int	PAGE__DECLARATION	7
public static final int	PAGE__ID	0
public static final int	PAGE__NAME	1
public static final int	PAGE__NODEGRAPHICS	6
public static final int	PAGE__OBJECTS	4
public static final int	PAGE__TOOLSPECIFICS	2
public static final int	PAGE_FEATURE_COUNT	8
public static final int	PETRI_NET	1
public static final int	PETRI_NET__CONTAINER_PETRI_NET_DOC	5
public static final int	PETRI_NET__DECLARATION	6
public static final int	PETRI_NET__ID	0
public static final int	PETRI_NET__NAME	3
public static final int	PETRI_NET__PAGES	2
public static final int	PETRI_NET__TOOLSPECIFICS	4
public static final int	PETRI_NET__TYPE	1
public static final int	PETRI_NET_DOC	0
public static final int	PETRI_NET_DOC__NETS	0
public static final int	PETRI_NET_DOC__XMLNS	1
public static final int	PETRI_NET_DOC_FEATURE_COUNT	2
public static final int	PETRI_NET_FEATURE_COUNT	7
public static final int	PLACE	22
public static final int	PLACE__CONTAINER_PAGE	3
public static final int	PLACE__HLINITIAL_MARKING	9
public static final int	PLACE__ID	0
public static final int	PLACE__IN_ARCS	4
public static final int	PLACE__NAME	1
public static final int	PLACE__NODEGRAPHICS	6
public static final int	PLACE__OUT_ARCS	5
public static final int	PLACE__REFERENCING_PLACES	7
public static final int	PLACE__TOOLSPECIFICS	2
public static final int	PLACE__TYPE	8
public static final int	PLACE_FEATURE_COUNT	10
public static final int	PLACE_NODE	20
public static final int	PLACE_NODE__CONTAINER_PAGE	3
public static final int	PLACE_NODE__ID	0
public static final int	PLACE_NODE__IN_ARCS	4
public static final int	PLACE_NODE__NAME	1
public static final int	PLACE_NODE__NODEGRAPHICS	6
public static final int	PLACE_NODE__OUT_ARCS	5
public static final int	PLACE_NODE__REFERENCING_PLACES	7
public static final int	PLACE_NODE__TOOLSPECIFICS	2
public static final int	PLACE_NODE_FEATURE_COUNT	8
public static final int	PN_OBJECT	3
public static final int	PN_OBJECT__CONTAINER_PAGE	3
public static final int	PN_OBJECT__ID	0
public static final int	PN_OBJECT__NAME	1
public static final int	PN_OBJECT__TOOLSPECIFICS	2
public static final int	PN_OBJECT_FEATURE_COUNT	4
public static final int	PN_TYPE	35
public static final int	POSITION	10
public static final int	POSITION__CONTAINER_ARC_GRAPHICS	2
public static final int	POSITION__CONTAINER_PNODE_GRAPHICS	3
public static final int	POSITION__X	0
public static final int	POSITION__Y	1
public static final int	POSITION_FEATURE_COUNT	4
public static final int	REF_PLACE	25
public static final int	REF_PLACE__CONTAINER_PAGE	3
public static final int	REF_PLACE__ID	0
public static final int	REF_PLACE__IN_ARCS	4
public static final int	REF_PLACE__NAME	1
public static final int	REF_PLACE__NODEGRAPHICS	6
public static final int	REF_PLACE__OUT_ARCS	5
public static final int	REF_PLACE__REF	8
public static final int	REF_PLACE__REFERENCING_PLACES	7
public static final int	REF_PLACE__TOOLSPECIFICS	2
public static final int	REF_PLACE_FEATURE_COUNT	9
public static final int	REF_TRANSITION	23
public static final int	REF_TRANSITION__CONTAINER_PAGE	3
public static final int	REF_TRANSITION__ID	0
public static final int	REF_TRANSITION__IN_ARCS	4
public static final int	REF_TRANSITION__NAME	1
public static final int	REF_TRANSITION__NODEGRAPHICS	6
public static final int	REF_TRANSITION__OUT_ARCS	5
public static final int	REF_TRANSITION__REF	8
public static final int	REF_TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	REF_TRANSITION__TOOLSPECIFICS	2
public static final int	REF_TRANSITION_FEATURE_COUNT	9
public static final int	TOOL_INFO	5
public static final int	TOOL_INFO__CONTAINER_LABEL	6
public static final int	TOOL_INFO__CONTAINER_PETRI_NET	4
public static final int	TOOL_INFO__CONTAINER_PN_OBJECT	5
public static final int	TOOL_INFO__FORMATTED_XML_BUFFER	2
public static final int	TOOL_INFO__TOOL	0
public static final int	TOOL_INFO__TOOL_INFO_GRAMMAR_URI	3
public static final int	TOOL_INFO__TOOL_INFO_MODEL	7
public static final int	TOOL_INFO__VERSION	1
public static final int	TOOL_INFO_FEATURE_COUNT	8
public static final int	TRANSITION	24
public static final int	TRANSITION__CONDITION	8
public static final int	TRANSITION__CONTAINER_PAGE	3
public static final int	TRANSITION__ID	0
public static final int	TRANSITION__IN_ARCS	4
public static final int	TRANSITION__NAME	1
public static final int	TRANSITION__NODEGRAPHICS	6
public static final int	TRANSITION__OUT_ARCS	5
public static final int	TRANSITION__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION__TOOLSPECIFICS	2
public static final int	TRANSITION_FEATURE_COUNT	9
public static final int	TRANSITION_NODE	21
public static final int	TRANSITION_NODE__CONTAINER_PAGE	3
public static final int	TRANSITION_NODE__ID	0
public static final int	TRANSITION_NODE__IN_ARCS	4
public static final int	TRANSITION_NODE__NAME	1
public static final int	TRANSITION_NODE__NODEGRAPHICS	6
public static final int	TRANSITION_NODE__OUT_ARCS	5
public static final int	TRANSITION_NODE__REFERENCING_TRANSITIONS	7
public static final int	TRANSITION_NODE__TOOLSPECIFICS	2
public static final int	TRANSITION_NODE_FEATURE_COUNT	8
public static final int	TYPE	30
public static final int	TYPE__ANNOTATIONGRAPHICS	1
public static final int	TYPE__CONTAINER_PLACE	4
public static final int	TYPE__STRUCTURE	3
public static final int	TYPE__TEXT	2
public static final int	TYPE__TOOLSPECIFICS	0
public static final int	TYPE_FEATURE_COUNT	5
public static final int	URI	46

fr.lip6.move.pnml.symmetricnet.hlcorestructure.LineShape

Modifier and Type	Constant Field	Value
public static final int	CURVE_VALUE	1
public static final int	LINE_VALUE	0

fr.lip6.move.pnml.symmetricnet.hlcorestructure.LineStyle

Modifier and Type	Constant Field	Value
public static final int	DASH_VALUE	1
public static final int	DOT_VALUE	2
public static final int	SOLID_VALUE	0

fr.lip6.move.pnml.symmetricnet.hlcorestructure.PNType

Modifier and Type	Constant Field	Value
public static final int	COREMODEL_VALUE	0
public static final int	HLPN_VALUE	3
public static final int	PTNET_VALUE	1
public static final int	SYMNET_VALUE	2

fr.lip6.move.pnml.symmetricnet.hlcorestructure.impl.PetriNetDocImpl

Modifier and Type	Constant Field	Value
protected static final String	XMLNS_EDEFAULT	"http://www.pnml.org/version-2009/grammar/pnml"

fr.lip6.move.pnml.symmetricnet.hlcorestructure.impl.PetriNetImpl

Modifier and Type	Constant Field	Value
protected static final String	ID_EDEFAULT	""

fr.lip6.move.pnml.symmetricnet.hlcorestructure.util.HlcorestructureValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.symmetricnet.hlcorestructure"

fr.lip6.move.pnml.symmetricnet.integers.IntegersPackage

Modifier and Type	Constant Field	Value
public static final int	ADDITION	6
public static final int	ADDITION__CONTAINER_CONDITION	4
public static final int	ADDITION__CONTAINER_HL_ANNOTATION	5
public static final int	ADDITION__CONTAINER_HL_MARKING	3
public static final int	ADDITION__CONTAINER_NAMED_OPERATOR	2
public static final int	ADDITION__CONTAINER_OPERATOR	1
public static final int	ADDITION__CONTAINER_PARTITION_ELEMENT	6
public static final int	ADDITION__INPUT	9
public static final int	ADDITION__OUTPUT	8
public static final int	ADDITION__SORT	0
public static final int	ADDITION__SUBTERM	7
public static final int	ADDITION_FEATURE_COUNT	10
public static final int	DIVISION	9
public static final int	DIVISION__CONTAINER_CONDITION	4
public static final int	DIVISION__CONTAINER_HL_ANNOTATION	5
public static final int	DIVISION__CONTAINER_HL_MARKING	3
public static final int	DIVISION__CONTAINER_NAMED_OPERATOR	2
public static final int	DIVISION__CONTAINER_OPERATOR	1
public static final int	DIVISION__CONTAINER_PARTITION_ELEMENT	6
public static final int	DIVISION__INPUT	9
public static final int	DIVISION__OUTPUT	8
public static final int	DIVISION__SORT	0
public static final int	DIVISION__SUBTERM	7
public static final int	DIVISION_FEATURE_COUNT	10
public static final String	eNAME	"integers"
public static final String	eNS_PREFIX	"integers"
public static final String	eNS_URI	"http:///symmetricnet.integers.ecore"
public static final int	GREATER_THAN	11
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	GREATER_THAN_OR_EQUAL	12
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN_OR_EQUAL__INPUT	9
public static final int	GREATER_THAN_OR_EQUAL__OUTPUT	8
public static final int	GREATER_THAN_OR_EQUAL__SORT	0
public static final int	GREATER_THAN_OR_EQUAL__SUBTERM	7
public static final int	GREATER_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	HL_INTEGER	3
public static final int	HL_INTEGER__CONTAINER_ALL	5
public static final int	HL_INTEGER__CONTAINER_EMPTY	6
public static final int	HL_INTEGER__CONTAINER_NAMED_SORT	1
public static final int	HL_INTEGER__CONTAINER_NUMBER_CONSTANT	8
public static final int	HL_INTEGER__CONTAINER_PARTITION	7
public static final int	HL_INTEGER__CONTAINER_PRODUCT_SORT	3
public static final int	HL_INTEGER__CONTAINER_TYPE	4
public static final int	HL_INTEGER__CONTAINER_VARIABLE_DECL	2
public static final int	HL_INTEGER__MULTI	0
public static final int	HL_INTEGER_FEATURE_COUNT	9
public static final int	HLPN_NUMBER	0
public static final int	HLPN_NUMBER__CONTAINER_ALL	5
public static final int	HLPN_NUMBER__CONTAINER_EMPTY	6
public static final int	HLPN_NUMBER__CONTAINER_NAMED_SORT	1
public static final int	HLPN_NUMBER__CONTAINER_NUMBER_CONSTANT	8
public static final int	HLPN_NUMBER__CONTAINER_PARTITION	7
public static final int	HLPN_NUMBER__CONTAINER_PRODUCT_SORT	3
public static final int	HLPN_NUMBER__CONTAINER_TYPE	4
public static final int	HLPN_NUMBER__CONTAINER_VARIABLE_DECL	2
public static final int	HLPN_NUMBER__MULTI	0
public static final int	HLPN_NUMBER_FEATURE_COUNT	9
public static final int	INTEGER_OPERATOR	5
public static final int	INTEGER_OPERATOR__CONTAINER_CONDITION	4
public static final int	INTEGER_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	INTEGER_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	INTEGER_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	INTEGER_OPERATOR__CONTAINER_OPERATOR	1
public static final int	INTEGER_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	INTEGER_OPERATOR__INPUT	9
public static final int	INTEGER_OPERATOR__OUTPUT	8
public static final int	INTEGER_OPERATOR__SORT	0
public static final int	INTEGER_OPERATOR__SUBTERM	7
public static final int	INTEGER_OPERATOR_FEATURE_COUNT	10
public static final int	LESS_THAN	13
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN_OR_EQUAL	14
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_CONDITION	4
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_OPERATOR	1
public static final int	LESS_THAN_OR_EQUAL__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN_OR_EQUAL__INPUT	9
public static final int	LESS_THAN_OR_EQUAL__OUTPUT	8
public static final int	LESS_THAN_OR_EQUAL__SORT	0
public static final int	LESS_THAN_OR_EQUAL__SUBTERM	7
public static final int	LESS_THAN_OR_EQUAL_FEATURE_COUNT	10
public static final int	MODULO	10
public static final int	MODULO__CONTAINER_CONDITION	4
public static final int	MODULO__CONTAINER_HL_ANNOTATION	5
public static final int	MODULO__CONTAINER_HL_MARKING	3
public static final int	MODULO__CONTAINER_NAMED_OPERATOR	2
public static final int	MODULO__CONTAINER_OPERATOR	1
public static final int	MODULO__CONTAINER_PARTITION_ELEMENT	6
public static final int	MODULO__INPUT	9
public static final int	MODULO__OUTPUT	8
public static final int	MODULO__SORT	0
public static final int	MODULO__SUBTERM	7
public static final int	MODULO_FEATURE_COUNT	10
public static final int	MULTIPLICATION	8
public static final int	MULTIPLICATION__CONTAINER_CONDITION	4
public static final int	MULTIPLICATION__CONTAINER_HL_ANNOTATION	5
public static final int	MULTIPLICATION__CONTAINER_HL_MARKING	3
public static final int	MULTIPLICATION__CONTAINER_NAMED_OPERATOR	2
public static final int	MULTIPLICATION__CONTAINER_OPERATOR	1
public static final int	MULTIPLICATION__CONTAINER_PARTITION_ELEMENT	6
public static final int	MULTIPLICATION__INPUT	9
public static final int	MULTIPLICATION__OUTPUT	8
public static final int	MULTIPLICATION__SORT	0
public static final int	MULTIPLICATION__SUBTERM	7
public static final int	MULTIPLICATION_FEATURE_COUNT	10
public static final int	NATURAL	1
public static final int	NATURAL__CONTAINER_ALL	5
public static final int	NATURAL__CONTAINER_EMPTY	6
public static final int	NATURAL__CONTAINER_NAMED_SORT	1
public static final int	NATURAL__CONTAINER_NUMBER_CONSTANT	8
public static final int	NATURAL__CONTAINER_PARTITION	7
public static final int	NATURAL__CONTAINER_PRODUCT_SORT	3
public static final int	NATURAL__CONTAINER_TYPE	4
public static final int	NATURAL__CONTAINER_VARIABLE_DECL	2
public static final int	NATURAL__MULTI	0
public static final int	NATURAL_FEATURE_COUNT	9
public static final int	NUMBER_CONSTANT	4
public static final int	NUMBER_CONSTANT__CONTAINER_CONDITION	4
public static final int	NUMBER_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	NUMBER_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	NUMBER_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	NUMBER_CONSTANT__CONTAINER_OPERATOR	1
public static final int	NUMBER_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	NUMBER_CONSTANT__INPUT	9
public static final int	NUMBER_CONSTANT__OUTPUT	8
public static final int	NUMBER_CONSTANT__SORT	0
public static final int	NUMBER_CONSTANT__SUBTERM	7
public static final int	NUMBER_CONSTANT__TYPE	10
public static final int	NUMBER_CONSTANT__VALUE	11
public static final int	NUMBER_CONSTANT_FEATURE_COUNT	12
public static final int	POSITIVE	2
public static final int	POSITIVE__CONTAINER_ALL	5
public static final int	POSITIVE__CONTAINER_EMPTY	6
public static final int	POSITIVE__CONTAINER_NAMED_SORT	1
public static final int	POSITIVE__CONTAINER_NUMBER_CONSTANT	8
public static final int	POSITIVE__CONTAINER_PARTITION	7
public static final int	POSITIVE__CONTAINER_PRODUCT_SORT	3
public static final int	POSITIVE__CONTAINER_TYPE	4
public static final int	POSITIVE__CONTAINER_VARIABLE_DECL	2
public static final int	POSITIVE__MULTI	0
public static final int	POSITIVE_FEATURE_COUNT	9
public static final int	SUBTRACTION	7
public static final int	SUBTRACTION__CONTAINER_CONDITION	4
public static final int	SUBTRACTION__CONTAINER_HL_ANNOTATION	5
public static final int	SUBTRACTION__CONTAINER_HL_MARKING	3
public static final int	SUBTRACTION__CONTAINER_NAMED_OPERATOR	2
public static final int	SUBTRACTION__CONTAINER_OPERATOR	1
public static final int	SUBTRACTION__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUBTRACTION__INPUT	9
public static final int	SUBTRACTION__OUTPUT	8
public static final int	SUBTRACTION__SORT	0
public static final int	SUBTRACTION__SUBTERM	7
public static final int	SUBTRACTION_FEATURE_COUNT	10

fr.lip6.move.pnml.symmetricnet.integers.util.IntegersValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.symmetricnet.integers"

fr.lip6.move.pnml.symmetricnet.multisets.MultisetsPackage

Modifier and Type	Constant Field	Value
public static final int	ADD	3
public static final int	ADD__CONTAINER_CONDITION	4
public static final int	ADD__CONTAINER_HL_ANNOTATION	5
public static final int	ADD__CONTAINER_HL_MARKING	3
public static final int	ADD__CONTAINER_NAMED_OPERATOR	2
public static final int	ADD__CONTAINER_OPERATOR	1
public static final int	ADD__CONTAINER_PARTITION_ELEMENT	6
public static final int	ADD__INPUT	9
public static final int	ADD__OUTPUT	8
public static final int	ADD__SORT	0
public static final int	ADD__SUBTERM	7
public static final int	ADD_FEATURE_COUNT	10
public static final int	ALL	4
public static final int	ALL__CONTAINER_CONDITION	4
public static final int	ALL__CONTAINER_HL_ANNOTATION	5
public static final int	ALL__CONTAINER_HL_MARKING	3
public static final int	ALL__CONTAINER_NAMED_OPERATOR	2
public static final int	ALL__CONTAINER_OPERATOR	1
public static final int	ALL__CONTAINER_PARTITION_ELEMENT	6
public static final int	ALL__INPUT	9
public static final int	ALL__OUTPUT	8
public static final int	ALL__REFSORT	10
public static final int	ALL__SORT	0
public static final int	ALL__SUBTERM	7
public static final int	ALL_FEATURE_COUNT	11
public static final int	CARDINALITY	0
public static final int	CARDINALITY__CONTAINER_CONDITION	4
public static final int	CARDINALITY__CONTAINER_HL_ANNOTATION	5
public static final int	CARDINALITY__CONTAINER_HL_MARKING	3
public static final int	CARDINALITY__CONTAINER_NAMED_OPERATOR	2
public static final int	CARDINALITY__CONTAINER_OPERATOR	1
public static final int	CARDINALITY__CONTAINER_PARTITION_ELEMENT	6
public static final int	CARDINALITY__INPUT	9
public static final int	CARDINALITY__OUTPUT	8
public static final int	CARDINALITY__SORT	0
public static final int	CARDINALITY__SUBTERM	7
public static final int	CARDINALITY_FEATURE_COUNT	10
public static final int	CARDINALITY_OF	2
public static final int	CARDINALITY_OF__CONTAINER_CONDITION	4
public static final int	CARDINALITY_OF__CONTAINER_HL_ANNOTATION	5
public static final int	CARDINALITY_OF__CONTAINER_HL_MARKING	3
public static final int	CARDINALITY_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	CARDINALITY_OF__CONTAINER_OPERATOR	1
public static final int	CARDINALITY_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	CARDINALITY_OF__INPUT	9
public static final int	CARDINALITY_OF__OUTPUT	8
public static final int	CARDINALITY_OF__SORT	0
public static final int	CARDINALITY_OF__SUBTERM	7
public static final int	CARDINALITY_OF_FEATURE_COUNT	10
public static final int	CONTAINS	1
public static final int	CONTAINS__CONTAINER_CONDITION	4
public static final int	CONTAINS__CONTAINER_HL_ANNOTATION	5
public static final int	CONTAINS__CONTAINER_HL_MARKING	3
public static final int	CONTAINS__CONTAINER_NAMED_OPERATOR	2
public static final int	CONTAINS__CONTAINER_OPERATOR	1
public static final int	CONTAINS__CONTAINER_PARTITION_ELEMENT	6
public static final int	CONTAINS__INPUT	9
public static final int	CONTAINS__OUTPUT	8
public static final int	CONTAINS__SORT	0
public static final int	CONTAINS__SUBTERM	7
public static final int	CONTAINS_FEATURE_COUNT	10
public static final int	EMPTY	5
public static final int	EMPTY__CONTAINER_CONDITION	4
public static final int	EMPTY__CONTAINER_HL_ANNOTATION	5
public static final int	EMPTY__CONTAINER_HL_MARKING	3
public static final int	EMPTY__CONTAINER_NAMED_OPERATOR	2
public static final int	EMPTY__CONTAINER_OPERATOR	1
public static final int	EMPTY__CONTAINER_PARTITION_ELEMENT	6
public static final int	EMPTY__INPUT	9
public static final int	EMPTY__OUTPUT	8
public static final int	EMPTY__REFSORT	10
public static final int	EMPTY__SORT	0
public static final int	EMPTY__SUBTERM	7
public static final int	EMPTY_FEATURE_COUNT	11
public static final String	eNAME	"multisets"
public static final String	eNS_PREFIX	"multisets"
public static final String	eNS_URI	"http:///symmetricnet.multisets.ecore"
public static final int	NUMBER_OF	6
public static final int	NUMBER_OF__CONTAINER_CONDITION	4
public static final int	NUMBER_OF__CONTAINER_HL_ANNOTATION	5
public static final int	NUMBER_OF__CONTAINER_HL_MARKING	3
public static final int	NUMBER_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	NUMBER_OF__CONTAINER_OPERATOR	1
public static final int	NUMBER_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	NUMBER_OF__INPUT	9
public static final int	NUMBER_OF__OUTPUT	8
public static final int	NUMBER_OF__SORT	0
public static final int	NUMBER_OF__SUBTERM	7
public static final int	NUMBER_OF_FEATURE_COUNT	10
public static final int	SCALAR_PRODUCT	8
public static final int	SCALAR_PRODUCT__CONTAINER_CONDITION	4
public static final int	SCALAR_PRODUCT__CONTAINER_HL_ANNOTATION	5
public static final int	SCALAR_PRODUCT__CONTAINER_HL_MARKING	3
public static final int	SCALAR_PRODUCT__CONTAINER_NAMED_OPERATOR	2
public static final int	SCALAR_PRODUCT__CONTAINER_OPERATOR	1
public static final int	SCALAR_PRODUCT__CONTAINER_PARTITION_ELEMENT	6
public static final int	SCALAR_PRODUCT__INPUT	9
public static final int	SCALAR_PRODUCT__OUTPUT	8
public static final int	SCALAR_PRODUCT__SORT	0
public static final int	SCALAR_PRODUCT__SUBTERM	7
public static final int	SCALAR_PRODUCT_FEATURE_COUNT	10
public static final int	SUBTRACT	7
public static final int	SUBTRACT__CONTAINER_CONDITION	4
public static final int	SUBTRACT__CONTAINER_HL_ANNOTATION	5
public static final int	SUBTRACT__CONTAINER_HL_MARKING	3
public static final int	SUBTRACT__CONTAINER_NAMED_OPERATOR	2
public static final int	SUBTRACT__CONTAINER_OPERATOR	1
public static final int	SUBTRACT__CONTAINER_PARTITION_ELEMENT	6
public static final int	SUBTRACT__INPUT	9
public static final int	SUBTRACT__OUTPUT	8
public static final int	SUBTRACT__SORT	0
public static final int	SUBTRACT__SUBTERM	7
public static final int	SUBTRACT_FEATURE_COUNT	10

fr.lip6.move.pnml.symmetricnet.multisets.util.MultisetsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.symmetricnet.multisets"

fr.lip6.move.pnml.symmetricnet.partitions.PartitionsPackage

Modifier and Type	Constant Field	Value
public static final String	eNAME	"partitions"
public static final String	eNS_PREFIX	"partitions"
public static final String	eNS_URI	"http:///symmetricnet.partitions.ecore"
public static final int	GREATER_THAN	2
public static final int	GREATER_THAN__CONTAINER_CONDITION	4
public static final int	GREATER_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	GREATER_THAN__CONTAINER_HL_MARKING	3
public static final int	GREATER_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	GREATER_THAN__CONTAINER_OPERATOR	1
public static final int	GREATER_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	GREATER_THAN__INPUT	9
public static final int	GREATER_THAN__OUTPUT	8
public static final int	GREATER_THAN__SORT	0
public static final int	GREATER_THAN__SUBTERM	7
public static final int	GREATER_THAN_FEATURE_COUNT	10
public static final int	LESS_THAN	5
public static final int	LESS_THAN__CONTAINER_CONDITION	4
public static final int	LESS_THAN__CONTAINER_HL_ANNOTATION	5
public static final int	LESS_THAN__CONTAINER_HL_MARKING	3
public static final int	LESS_THAN__CONTAINER_NAMED_OPERATOR	2
public static final int	LESS_THAN__CONTAINER_OPERATOR	1
public static final int	LESS_THAN__CONTAINER_PARTITION_ELEMENT	6
public static final int	LESS_THAN__INPUT	9
public static final int	LESS_THAN__OUTPUT	8
public static final int	LESS_THAN__SORT	0
public static final int	LESS_THAN__SUBTERM	7
public static final int	LESS_THAN_FEATURE_COUNT	10
public static final int	PARTITION	0
public static final int	PARTITION__CONTAINER_DECLARATIONS	2
public static final int	PARTITION__DEF	3
public static final int	PARTITION__ID	0
public static final int	PARTITION__NAME	1
public static final int	PARTITION__PARTITIONELEMENTS	4
public static final int	PARTITION_ELEMENT	1
public static final int	PARTITION_ELEMENT__CONTAINER_DECLARATIONS	2
public static final int	PARTITION_ELEMENT__ID	0
public static final int	PARTITION_ELEMENT__NAME	1
public static final int	PARTITION_ELEMENT__PARTITIONELEMENTCONSTANTS	4
public static final int	PARTITION_ELEMENT__REFPARTITION	3
public static final int	PARTITION_ELEMENT_FEATURE_COUNT	5
public static final int	PARTITION_ELEMENT_OF	3
public static final int	PARTITION_ELEMENT_OF__CONTAINER_CONDITION	4
public static final int	PARTITION_ELEMENT_OF__CONTAINER_HL_ANNOTATION	5
public static final int	PARTITION_ELEMENT_OF__CONTAINER_HL_MARKING	3
public static final int	PARTITION_ELEMENT_OF__CONTAINER_NAMED_OPERATOR	2
public static final int	PARTITION_ELEMENT_OF__CONTAINER_OPERATOR	1
public static final int	PARTITION_ELEMENT_OF__CONTAINER_PARTITION_ELEMENT	6
public static final int	PARTITION_ELEMENT_OF__INPUT	9
public static final int	PARTITION_ELEMENT_OF__OUTPUT	8
public static final int	PARTITION_ELEMENT_OF__REFPARTITION	10
public static final int	PARTITION_ELEMENT_OF__SORT	0
public static final int	PARTITION_ELEMENT_OF__SUBTERM	7
public static final int	PARTITION_ELEMENT_OF_FEATURE_COUNT	11
public static final int	PARTITION_FEATURE_COUNT	5
public static final int	PARTITION_OPERATOR	4
public static final int	PARTITION_OPERATOR__CONTAINER_CONDITION	4
public static final int	PARTITION_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	PARTITION_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	PARTITION_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	PARTITION_OPERATOR__CONTAINER_OPERATOR	1
public static final int	PARTITION_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	PARTITION_OPERATOR__INPUT	9
public static final int	PARTITION_OPERATOR__OUTPUT	8
public static final int	PARTITION_OPERATOR__SORT	0
public static final int	PARTITION_OPERATOR__SUBTERM	7
public static final int	PARTITION_OPERATOR_FEATURE_COUNT	10

fr.lip6.move.pnml.symmetricnet.partitions.util.PartitionsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.symmetricnet.partitions"

fr.lip6.move.pnml.symmetricnet.terms.TermsPackage

Modifier and Type	Constant Field	Value
public static final int	BUILT_IN_CONSTANT	10
public static final int	BUILT_IN_CONSTANT__CONTAINER_CONDITION	4
public static final int	BUILT_IN_CONSTANT__CONTAINER_HL_ANNOTATION	5
public static final int	BUILT_IN_CONSTANT__CONTAINER_HL_MARKING	3
public static final int	BUILT_IN_CONSTANT__CONTAINER_NAMED_OPERATOR	2
public static final int	BUILT_IN_CONSTANT__CONTAINER_OPERATOR	1
public static final int	BUILT_IN_CONSTANT__CONTAINER_PARTITION_ELEMENT	6
public static final int	BUILT_IN_CONSTANT__INPUT	9
public static final int	BUILT_IN_CONSTANT__OUTPUT	8
public static final int	BUILT_IN_CONSTANT__SORT	0
public static final int	BUILT_IN_CONSTANT__SUBTERM	7
public static final int	BUILT_IN_CONSTANT_FEATURE_COUNT	10
public static final int	BUILT_IN_OPERATOR	14
public static final int	BUILT_IN_OPERATOR__CONTAINER_CONDITION	4
public static final int	BUILT_IN_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	BUILT_IN_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	BUILT_IN_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	BUILT_IN_OPERATOR__CONTAINER_OPERATOR	1
public static final int	BUILT_IN_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	BUILT_IN_OPERATOR__INPUT	9
public static final int	BUILT_IN_OPERATOR__OUTPUT	8
public static final int	BUILT_IN_OPERATOR__SORT	0
public static final int	BUILT_IN_OPERATOR__SUBTERM	7
public static final int	BUILT_IN_OPERATOR_FEATURE_COUNT	10
public static final int	BUILT_IN_SORT	8
public static final int	BUILT_IN_SORT__CONTAINER_ALL	5
public static final int	BUILT_IN_SORT__CONTAINER_EMPTY	6
public static final int	BUILT_IN_SORT__CONTAINER_NAMED_SORT	1
public static final int	BUILT_IN_SORT__CONTAINER_PARTITION	7
public static final int	BUILT_IN_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	BUILT_IN_SORT__CONTAINER_TYPE	4
public static final int	BUILT_IN_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	BUILT_IN_SORT__MULTI	0
public static final int	BUILT_IN_SORT_FEATURE_COUNT	8
public static final int	DECLARATIONS	0
public static final int	DECLARATIONS__CONTAINER_DECLARATION	1
public static final int	DECLARATIONS__DECLARATION	0
public static final int	DECLARATIONS_FEATURE_COUNT	2
public static final String	eNAME	"terms"
public static final String	eNS_PREFIX	"terms"
public static final String	eNS_URI	"http:///symmetricnet.terms.ecore"
public static final int	MULTISET_OPERATOR	11
public static final int	MULTISET_OPERATOR__CONTAINER_CONDITION	4
public static final int	MULTISET_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	MULTISET_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	MULTISET_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	MULTISET_OPERATOR__CONTAINER_OPERATOR	1
public static final int	MULTISET_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	MULTISET_OPERATOR__INPUT	9
public static final int	MULTISET_OPERATOR__OUTPUT	8
public static final int	MULTISET_OPERATOR__SORT	0
public static final int	MULTISET_OPERATOR__SUBTERM	7
public static final int	MULTISET_OPERATOR_FEATURE_COUNT	10
public static final int	MULTISET_SORT	3
public static final int	MULTISET_SORT__BASIS	8
public static final int	MULTISET_SORT__CONTAINER_ALL	5
public static final int	MULTISET_SORT__CONTAINER_EMPTY	6
public static final int	MULTISET_SORT__CONTAINER_NAMED_SORT	1
public static final int	MULTISET_SORT__CONTAINER_PARTITION	7
public static final int	MULTISET_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	MULTISET_SORT__CONTAINER_TYPE	4
public static final int	MULTISET_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	MULTISET_SORT__MULTI	0
public static final int	MULTISET_SORT_FEATURE_COUNT	9
public static final int	NAMED_OPERATOR	18
public static final int	NAMED_OPERATOR__CONTAINER_DECLARATIONS	2
public static final int	NAMED_OPERATOR__DEF	3
public static final int	NAMED_OPERATOR__ID	0
public static final int	NAMED_OPERATOR__NAME	1
public static final int	NAMED_OPERATOR__PARAMETERS	4
public static final int	NAMED_OPERATOR_FEATURE_COUNT	5
public static final int	NAMED_SORT	15
public static final int	NAMED_SORT__CONTAINER_DECLARATIONS	2
public static final int	NAMED_SORT__ID	0
public static final int	NAMED_SORT__NAME	1
public static final int	NAMED_SORT__SORTDEF	3
public static final int	NAMED_SORT_FEATURE_COUNT	4
public static final int	OPERATOR	5
public static final int	OPERATOR__CONTAINER_CONDITION	4
public static final int	OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	OPERATOR__CONTAINER_HL_MARKING	3
public static final int	OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	OPERATOR__CONTAINER_OPERATOR	1
public static final int	OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	OPERATOR__INPUT	9
public static final int	OPERATOR__OUTPUT	8
public static final int	OPERATOR__SORT	0
public static final int	OPERATOR__SUBTERM	7
public static final int	OPERATOR_DECL	17
public static final int	OPERATOR_DECL__CONTAINER_DECLARATIONS	2
public static final int	OPERATOR_DECL__ID	0
public static final int	OPERATOR_DECL__NAME	1
public static final int	OPERATOR_DECL_FEATURE_COUNT	3
public static final int	OPERATOR_FEATURE_COUNT	10
public static final int	PRODUCT_SORT	9
public static final int	PRODUCT_SORT__CONTAINER_ALL	5
public static final int	PRODUCT_SORT__CONTAINER_EMPTY	6
public static final int	PRODUCT_SORT__CONTAINER_NAMED_SORT	1
public static final int	PRODUCT_SORT__CONTAINER_PARTITION	7
public static final int	PRODUCT_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	PRODUCT_SORT__CONTAINER_TYPE	4
public static final int	PRODUCT_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	PRODUCT_SORT__ELEMENT_SORT	8
public static final int	PRODUCT_SORT__MULTI	0
public static final int	PRODUCT_SORT_FEATURE_COUNT	9
public static final int	SORT	2
public static final int	SORT__CONTAINER_ALL	5
public static final int	SORT__CONTAINER_EMPTY	6
public static final int	SORT__CONTAINER_NAMED_SORT	1
public static final int	SORT__CONTAINER_PARTITION	7
public static final int	SORT__CONTAINER_PRODUCT_SORT	3
public static final int	SORT__CONTAINER_TYPE	4
public static final int	SORT__CONTAINER_VARIABLE_DECL	2
public static final int	SORT__MULTI	0
public static final int	SORT_DECL	13
public static final int	SORT_DECL__CONTAINER_DECLARATIONS	2
public static final int	SORT_DECL__ID	0
public static final int	SORT_DECL__NAME	1
public static final int	SORT_DECL_FEATURE_COUNT	3
public static final int	SORT_FEATURE_COUNT	8
public static final int	TERM	4
public static final int	TERM__CONTAINER_CONDITION	4
public static final int	TERM__CONTAINER_HL_ANNOTATION	5
public static final int	TERM__CONTAINER_HL_MARKING	3
public static final int	TERM__CONTAINER_NAMED_OPERATOR	2
public static final int	TERM__CONTAINER_OPERATOR	1
public static final int	TERM__CONTAINER_PARTITION_ELEMENT	6
public static final int	TERM__SORT	0
public static final int	TERM_FEATURE_COUNT	7
public static final int	TERMS_DECLARATION	1
public static final int	TERMS_DECLARATION__CONTAINER_DECLARATIONS	2
public static final int	TERMS_DECLARATION__ID	0
public static final int	TERMS_DECLARATION__NAME	1
public static final int	TERMS_DECLARATION_FEATURE_COUNT	3
public static final int	TUPLE	12
public static final int	TUPLE__CONTAINER_CONDITION	4
public static final int	TUPLE__CONTAINER_HL_ANNOTATION	5
public static final int	TUPLE__CONTAINER_HL_MARKING	3
public static final int	TUPLE__CONTAINER_NAMED_OPERATOR	2
public static final int	TUPLE__CONTAINER_OPERATOR	1
public static final int	TUPLE__CONTAINER_PARTITION_ELEMENT	6
public static final int	TUPLE__INPUT	9
public static final int	TUPLE__OUTPUT	8
public static final int	TUPLE__SORT	0
public static final int	TUPLE__SUBTERM	7
public static final int	TUPLE_FEATURE_COUNT	10
public static final int	USER_OPERATOR	19
public static final int	USER_OPERATOR__CONTAINER_CONDITION	4
public static final int	USER_OPERATOR__CONTAINER_HL_ANNOTATION	5
public static final int	USER_OPERATOR__CONTAINER_HL_MARKING	3
public static final int	USER_OPERATOR__CONTAINER_NAMED_OPERATOR	2
public static final int	USER_OPERATOR__CONTAINER_OPERATOR	1
public static final int	USER_OPERATOR__CONTAINER_PARTITION_ELEMENT	6
public static final int	USER_OPERATOR__DECLARATION	10
public static final int	USER_OPERATOR__INPUT	9
public static final int	USER_OPERATOR__OUTPUT	8
public static final int	USER_OPERATOR__SORT	0
public static final int	USER_OPERATOR__SUBTERM	7
public static final int	USER_OPERATOR_FEATURE_COUNT	11
public static final int	USER_SORT	16
public static final int	USER_SORT__CONTAINER_ALL	5
public static final int	USER_SORT__CONTAINER_EMPTY	6
public static final int	USER_SORT__CONTAINER_NAMED_SORT	1
public static final int	USER_SORT__CONTAINER_PARTITION	7
public static final int	USER_SORT__CONTAINER_PRODUCT_SORT	3
public static final int	USER_SORT__CONTAINER_TYPE	4
public static final int	USER_SORT__CONTAINER_VARIABLE_DECL	2
public static final int	USER_SORT__DECLARATION	8
public static final int	USER_SORT__MULTI	0
public static final int	USER_SORT_FEATURE_COUNT	9
public static final int	VARIABLE	7
public static final int	VARIABLE__CONTAINER_CONDITION	4
public static final int	VARIABLE__CONTAINER_HL_ANNOTATION	5
public static final int	VARIABLE__CONTAINER_HL_MARKING	3
public static final int	VARIABLE__CONTAINER_NAMED_OPERATOR	2
public static final int	VARIABLE__CONTAINER_OPERATOR	1
public static final int	VARIABLE__CONTAINER_PARTITION_ELEMENT	6
public static final int	VARIABLE__SORT	0
public static final int	VARIABLE__VARIABLE_DECL	7
public static final int	VARIABLE_DECL	6
public static final int	VARIABLE_DECL__CONTAINER_DECLARATIONS	2
public static final int	VARIABLE_DECL__CONTAINER_NAMED_OPERATOR	4
public static final int	VARIABLE_DECL__ID	0
public static final int	VARIABLE_DECL__NAME	1
public static final int	VARIABLE_DECL__SORT	3
public static final int	VARIABLE_DECL_FEATURE_COUNT	5
public static final int	VARIABLE_FEATURE_COUNT	8

fr.lip6.move.pnml.symmetricnet.terms.util.TermsValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.move.pnml.symmetricnet.terms"

fr.lip6.nupn.NupnPackage

Modifier and Type	Constant Field	Value
public static final String	eNAME	"nupn"
public static final String	eNS_PREFIX	"nupn"
public static final String	eNS_URI	"http://www.pnml.org/version-2009/grammar/pnml"
public static final int	NUPN_TOOLSPECIFIC_TYPE	2
public static final int	NUPN_TOOLSPECIFIC_TYPE__MIXED	4
public static final int	NUPN_TOOLSPECIFIC_TYPE__SIZE	0
public static final int	NUPN_TOOLSPECIFIC_TYPE__STRUCTURE	1
public static final int	NUPN_TOOLSPECIFIC_TYPE__TOOL	2
public static final int	NUPN_TOOLSPECIFIC_TYPE__VERSION	3
public static final int	NUPN_TOOLSPECIFIC_TYPE__XMLNS_PREFIX_MAP	5
public static final int	NUPN_TOOLSPECIFIC_TYPE__XSI_SCHEMA_LOCATION	6
public static final int	NUPN_TOOLSPECIFIC_TYPE_FEATURE_COUNT	7
public static final int	NUPN_TOOLSPECIFIC_TYPE_OPERATION_COUNT	0
public static final int	PLACE_LIST	4
public static final int	SIZE_TYPE	0
public static final int	SIZE_TYPE__ARCS	0
public static final int	SIZE_TYPE__PLACES	1
public static final int	SIZE_TYPE__TRANSITIONS	2
public static final int	SIZE_TYPE_FEATURE_COUNT	3
public static final int	SIZE_TYPE_OPERATION_COUNT	0
public static final int	STRUCTURE_TYPE	1
public static final int	STRUCTURE_TYPE__ROOT	1
public static final int	STRUCTURE_TYPE__SAFE	2
public static final int	STRUCTURE_TYPE__UNIT	0
public static final int	STRUCTURE_TYPE__UNITS	3
public static final int	STRUCTURE_TYPE_FEATURE_COUNT	4
public static final int	STRUCTURE_TYPE_OPERATION_COUNT	0
public static final int	UNIT_LIST	5
public static final int	UNIT_TYPE	3
public static final int	UNIT_TYPE__ID	2
public static final int	UNIT_TYPE__PLACES	0
public static final int	UNIT_TYPE__SUBUNITS	1
public static final int	UNIT_TYPE_FEATURE_COUNT	3
public static final int	UNIT_TYPE_OPERATION_COUNT	0

fr.lip6.nupn.impl.NUPNToolspecificTypeImpl

Modifier and Type	Constant Field	Value
protected static final String	TOOL_EDEFAULT	"nupn"

fr.lip6.nupn.impl.StructureTypeImpl

Modifier and Type	Constant Field	Value
protected static final boolean	SAFE_EDEFAULT	false

fr.lip6.nupn.util.NupnValidator

Modifier and Type	Constant Field	Value
protected static final int	DIAGNOSTIC_CODE_COUNT	0
public static final String	DIAGNOSTIC_SOURCE	"fr.lip6.nupn"