|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
org.eclipse.* |
---|
org.eclipse.emf.henshin.HenshinModelPlugin | ||
---|---|---|
public static final String |
PLUGIN_ID |
"org.eclipse.emf.henshin.model" |
org.eclipse.emf.henshin.interpreter.Engine | ||
---|---|---|
public static final String |
OPTION_CHECK_DANGLING |
"CHECK_DANGLING" |
public static final String |
OPTION_DETERMINISTIC |
"DETERMINISTIC" |
public static final String |
OPTION_INJECTIVE_MATCHING |
"INJECTIVE_MATCHING" |
public static final String |
OPTION_INVERSE_MATCHING_ORDER |
"INVERSE_MATCHING_ORDER" |
public static final String |
OPTION_SORT_VARIABLES |
"SORT_VARIABLES" |
public static final String |
OPTION_WORKER_THREADS |
"WORKER_THREADS" |
org.eclipse.emf.henshin.model.Action | ||
---|---|---|
public static final char |
FRAGMENT_START |
35 |
public static final char |
MULTI_MARKER |
42 |
public static final char |
PATH_SEPARATOR |
47 |
org.eclipse.emf.henshin.model.HenshinPackage | ||
---|---|---|
public static final int |
ACTION |
31 |
public static final int |
AND |
27 |
public static final int |
AND__ANNOTATIONS |
0 |
public static final int |
AND__LEFT |
1 |
public static final int |
AND__RIGHT |
2 |
public static final int |
AND_FEATURE_COUNT |
3 |
public static final int |
ANNOTATION |
1 |
public static final int |
ANNOTATION__ANNOTATIONS |
0 |
public static final int |
ANNOTATION__KEY |
1 |
public static final int |
ANNOTATION__VALUE |
2 |
public static final int |
ANNOTATION_FEATURE_COUNT |
3 |
public static final int |
ATTRIBUTE |
12 |
public static final int |
ATTRIBUTE__ACTION |
1 |
public static final int |
ATTRIBUTE__ANNOTATIONS |
0 |
public static final int |
ATTRIBUTE__CONSTANT |
5 |
public static final int |
ATTRIBUTE__NODE |
4 |
public static final int |
ATTRIBUTE__NULL |
6 |
public static final int |
ATTRIBUTE__TYPE |
2 |
public static final int |
ATTRIBUTE__VALUE |
3 |
public static final int |
ATTRIBUTE_CONDITION |
13 |
public static final int |
ATTRIBUTE_CONDITION__ANNOTATIONS |
0 |
public static final int |
ATTRIBUTE_CONDITION__CONDITION_TEXT |
4 |
public static final int |
ATTRIBUTE_CONDITION__DESCRIPTION |
2 |
public static final int |
ATTRIBUTE_CONDITION__NAME |
1 |
public static final int |
ATTRIBUTE_CONDITION__RULE |
3 |
public static final int |
ATTRIBUTE_CONDITION_FEATURE_COUNT |
5 |
public static final int |
ATTRIBUTE_FEATURE_COUNT |
7 |
public static final int |
BINARY_FORMULA |
26 |
public static final int |
BINARY_FORMULA__ANNOTATIONS |
0 |
public static final int |
BINARY_FORMULA__LEFT |
1 |
public static final int |
BINARY_FORMULA__RIGHT |
2 |
public static final int |
BINARY_FORMULA_FEATURE_COUNT |
3 |
public static final int |
CONDITIONAL_UNIT |
19 |
public static final int |
CONDITIONAL_UNIT__ACTIVATED |
5 |
public static final int |
CONDITIONAL_UNIT__ANNOTATIONS |
0 |
public static final int |
CONDITIONAL_UNIT__DESCRIPTION |
2 |
public static final int |
CONDITIONAL_UNIT__ELSE |
8 |
public static final int |
CONDITIONAL_UNIT__IF |
6 |
public static final int |
CONDITIONAL_UNIT__NAME |
1 |
public static final int |
CONDITIONAL_UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
CONDITIONAL_UNIT__PARAMETERS |
3 |
public static final int |
CONDITIONAL_UNIT__THEN |
7 |
public static final int |
CONDITIONAL_UNIT_FEATURE_COUNT |
9 |
public static final int |
EDGE |
11 |
public static final int |
EDGE__ACTION |
1 |
public static final int |
EDGE__ANNOTATIONS |
0 |
public static final int |
EDGE__GRAPH |
5 |
public static final int |
EDGE__INDEX |
6 |
public static final int |
EDGE__INDEX_CONSTANT |
7 |
public static final int |
EDGE__SOURCE |
2 |
public static final int |
EDGE__TARGET |
3 |
public static final int |
EDGE__TYPE |
4 |
public static final int |
EDGE_FEATURE_COUNT |
8 |
public static final String |
eNAME |
"henshin" |
public static final String |
eNS_PREFIX |
"henshin" |
public static final String |
eNS_URI |
"http://www.eclipse.org/emf/2011/Henshin" |
public static final int |
FORMULA |
23 |
public static final int |
FORMULA_FEATURE_COUNT |
0 |
public static final int |
GRAPH |
9 |
public static final int |
GRAPH__ANNOTATIONS |
0 |
public static final int |
GRAPH__DESCRIPTION |
2 |
public static final int |
GRAPH__EDGES |
4 |
public static final int |
GRAPH__FORMULA |
5 |
public static final int |
GRAPH__NAME |
1 |
public static final int |
GRAPH__NODES |
3 |
public static final int |
GRAPH_ELEMENT |
3 |
public static final int |
GRAPH_ELEMENT__ACTION |
0 |
public static final int |
GRAPH_ELEMENT_FEATURE_COUNT |
1 |
public static final int |
GRAPH_FEATURE_COUNT |
6 |
public static final int |
INDEPENDENT_UNIT |
17 |
public static final int |
INDEPENDENT_UNIT__ACTIVATED |
5 |
public static final int |
INDEPENDENT_UNIT__ANNOTATIONS |
0 |
public static final int |
INDEPENDENT_UNIT__DESCRIPTION |
2 |
public static final int |
INDEPENDENT_UNIT__NAME |
1 |
public static final int |
INDEPENDENT_UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
INDEPENDENT_UNIT__PARAMETERS |
3 |
public static final int |
INDEPENDENT_UNIT__SUB_UNITS |
6 |
public static final int |
INDEPENDENT_UNIT_FEATURE_COUNT |
7 |
public static final int |
ITERATED_UNIT |
21 |
public static final int |
ITERATED_UNIT__ACTIVATED |
5 |
public static final int |
ITERATED_UNIT__ANNOTATIONS |
0 |
public static final int |
ITERATED_UNIT__DESCRIPTION |
2 |
public static final int |
ITERATED_UNIT__ITERATIONS |
7 |
public static final int |
ITERATED_UNIT__NAME |
1 |
public static final int |
ITERATED_UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
ITERATED_UNIT__PARAMETERS |
3 |
public static final int |
ITERATED_UNIT__SUB_UNIT |
6 |
public static final int |
ITERATED_UNIT_FEATURE_COUNT |
8 |
public static final int |
LOOP_UNIT |
22 |
public static final int |
LOOP_UNIT__ACTIVATED |
5 |
public static final int |
LOOP_UNIT__ANNOTATIONS |
0 |
public static final int |
LOOP_UNIT__DESCRIPTION |
2 |
public static final int |
LOOP_UNIT__NAME |
1 |
public static final int |
LOOP_UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
LOOP_UNIT__PARAMETERS |
3 |
public static final int |
LOOP_UNIT__SUB_UNIT |
6 |
public static final int |
LOOP_UNIT_FEATURE_COUNT |
7 |
public static final int |
MAPPING |
14 |
public static final int |
MAPPING__ANNOTATIONS |
0 |
public static final int |
MAPPING__IMAGE |
2 |
public static final int |
MAPPING__ORIGIN |
1 |
public static final int |
MAPPING_FEATURE_COUNT |
3 |
public static final int |
MODEL_ELEMENT |
0 |
public static final int |
MODEL_ELEMENT__ANNOTATIONS |
0 |
public static final int |
MODEL_ELEMENT_FEATURE_COUNT |
1 |
public static final int |
MODULE |
4 |
public static final int |
MODULE__ANNOTATIONS |
0 |
public static final int |
MODULE__DESCRIPTION |
2 |
public static final int |
MODULE__IMPORTS |
5 |
public static final int |
MODULE__INSTANCES |
7 |
public static final int |
MODULE__NAME |
1 |
public static final int |
MODULE__SUB_MODULES |
3 |
public static final int |
MODULE__SUPER_MODULE |
4 |
public static final int |
MODULE__UNITS |
6 |
public static final int |
MODULE_FEATURE_COUNT |
8 |
public static final int |
MULTI_UNIT |
16 |
public static final int |
MULTI_UNIT__ACTIVATED |
5 |
public static final int |
MULTI_UNIT__ANNOTATIONS |
0 |
public static final int |
MULTI_UNIT__DESCRIPTION |
2 |
public static final int |
MULTI_UNIT__NAME |
1 |
public static final int |
MULTI_UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
MULTI_UNIT__PARAMETERS |
3 |
public static final int |
MULTI_UNIT__SUB_UNITS |
6 |
public static final int |
MULTI_UNIT_FEATURE_COUNT |
7 |
public static final int |
NAMED_ELEMENT |
2 |
public static final int |
NAMED_ELEMENT__ANNOTATIONS |
0 |
public static final int |
NAMED_ELEMENT__DESCRIPTION |
2 |
public static final int |
NAMED_ELEMENT__NAME |
1 |
public static final int |
NAMED_ELEMENT_FEATURE_COUNT |
3 |
public static final int |
NESTED_CONDITION |
24 |
public static final int |
NESTED_CONDITION__ANNOTATIONS |
0 |
public static final int |
NESTED_CONDITION__CONCLUSION |
1 |
public static final int |
NESTED_CONDITION__MAPPINGS |
2 |
public static final int |
NESTED_CONDITION_FEATURE_COUNT |
3 |
public static final int |
NODE |
10 |
public static final int |
NODE__ACTION |
3 |
public static final int |
NODE__ANNOTATIONS |
0 |
public static final int |
NODE__ATTRIBUTES |
5 |
public static final int |
NODE__DESCRIPTION |
2 |
public static final int |
NODE__GRAPH |
6 |
public static final int |
NODE__INCOMING |
7 |
public static final int |
NODE__NAME |
1 |
public static final int |
NODE__OUTGOING |
8 |
public static final int |
NODE__TYPE |
4 |
public static final int |
NODE_FEATURE_COUNT |
9 |
public static final int |
NOT |
30 |
public static final int |
NOT__ANNOTATIONS |
0 |
public static final int |
NOT__CHILD |
1 |
public static final int |
NOT_FEATURE_COUNT |
2 |
public static final int |
OR |
28 |
public static final int |
OR__ANNOTATIONS |
0 |
public static final int |
OR__LEFT |
1 |
public static final int |
OR__RIGHT |
2 |
public static final int |
OR_FEATURE_COUNT |
3 |
public static final int |
PARAMETER |
7 |
public static final int |
PARAMETER__ANNOTATIONS |
0 |
public static final int |
PARAMETER__DESCRIPTION |
2 |
public static final int |
PARAMETER__NAME |
1 |
public static final int |
PARAMETER__TYPE |
4 |
public static final int |
PARAMETER__UNIT |
3 |
public static final int |
PARAMETER_FEATURE_COUNT |
5 |
public static final int |
PARAMETER_MAPPING |
8 |
public static final int |
PARAMETER_MAPPING__ANNOTATIONS |
0 |
public static final int |
PARAMETER_MAPPING__SOURCE |
1 |
public static final int |
PARAMETER_MAPPING__TARGET |
2 |
public static final int |
PARAMETER_MAPPING_FEATURE_COUNT |
3 |
public static final int |
PRIORITY_UNIT |
20 |
public static final int |
PRIORITY_UNIT__ACTIVATED |
5 |
public static final int |
PRIORITY_UNIT__ANNOTATIONS |
0 |
public static final int |
PRIORITY_UNIT__DESCRIPTION |
2 |
public static final int |
PRIORITY_UNIT__NAME |
1 |
public static final int |
PRIORITY_UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
PRIORITY_UNIT__PARAMETERS |
3 |
public static final int |
PRIORITY_UNIT__SUB_UNITS |
6 |
public static final int |
PRIORITY_UNIT_FEATURE_COUNT |
7 |
public static final int |
RULE |
6 |
public static final int |
RULE__ACTIVATED |
5 |
public static final int |
RULE__ANNOTATIONS |
0 |
public static final int |
RULE__ATTRIBUTE_CONDITIONS |
8 |
public static final int |
RULE__CHECK_DANGLING |
10 |
public static final int |
RULE__DESCRIPTION |
2 |
public static final int |
RULE__INJECTIVE_MATCHING |
11 |
public static final int |
RULE__JAVA_IMPORTS |
14 |
public static final int |
RULE__LHS |
6 |
public static final int |
RULE__MAPPINGS |
9 |
public static final int |
RULE__MULTI_MAPPINGS |
13 |
public static final int |
RULE__MULTI_RULES |
12 |
public static final int |
RULE__NAME |
1 |
public static final int |
RULE__PARAMETER_MAPPINGS |
4 |
public static final int |
RULE__PARAMETERS |
3 |
public static final int |
RULE__RHS |
7 |
public static final int |
RULE_FEATURE_COUNT |
15 |
public static final int |
SEQUENTIAL_UNIT |
18 |
public static final int |
SEQUENTIAL_UNIT__ACTIVATED |
5 |
public static final int |
SEQUENTIAL_UNIT__ANNOTATIONS |
0 |
public static final int |
SEQUENTIAL_UNIT__DESCRIPTION |
2 |
public static final int |
SEQUENTIAL_UNIT__NAME |
1 |
public static final int |
SEQUENTIAL_UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
SEQUENTIAL_UNIT__PARAMETERS |
3 |
public static final int |
SEQUENTIAL_UNIT__ROLLBACK |
8 |
public static final int |
SEQUENTIAL_UNIT__STRICT |
7 |
public static final int |
SEQUENTIAL_UNIT__SUB_UNITS |
6 |
public static final int |
SEQUENTIAL_UNIT_FEATURE_COUNT |
9 |
public static final int |
UNARY_FORMULA |
25 |
public static final int |
UNARY_FORMULA__ANNOTATIONS |
0 |
public static final int |
UNARY_FORMULA__CHILD |
1 |
public static final int |
UNARY_FORMULA_FEATURE_COUNT |
2 |
public static final int |
UNARY_UNIT |
15 |
public static final int |
UNARY_UNIT__ACTIVATED |
5 |
public static final int |
UNARY_UNIT__ANNOTATIONS |
0 |
public static final int |
UNARY_UNIT__DESCRIPTION |
2 |
public static final int |
UNARY_UNIT__NAME |
1 |
public static final int |
UNARY_UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
UNARY_UNIT__PARAMETERS |
3 |
public static final int |
UNARY_UNIT__SUB_UNIT |
6 |
public static final int |
UNARY_UNIT_FEATURE_COUNT |
7 |
public static final int |
UNIT |
5 |
public static final int |
UNIT__ACTIVATED |
5 |
public static final int |
UNIT__ANNOTATIONS |
0 |
public static final int |
UNIT__DESCRIPTION |
2 |
public static final int |
UNIT__NAME |
1 |
public static final int |
UNIT__PARAMETER_MAPPINGS |
4 |
public static final int |
UNIT__PARAMETERS |
3 |
public static final int |
UNIT_FEATURE_COUNT |
6 |
public static final int |
XOR |
29 |
public static final int |
XOR__ANNOTATIONS |
0 |
public static final int |
XOR__LEFT |
1 |
public static final int |
XOR__RIGHT |
2 |
public static final int |
XOR_FEATURE_COUNT |
3 |
org.eclipse.emf.henshin.model.exporters.HenshinAGGExporter | ||
---|---|---|
public static final String |
EXPORTER_ID |
"org.eclipse.emf.henshin.henshin2agg" |
org.eclipse.emf.henshin.model.impl.AttributeImpl | ||
---|---|---|
protected static final boolean |
NULL_EDEFAULT |
false |
org.eclipse.emf.henshin.model.impl.RuleImpl | ||
---|---|---|
protected static final boolean |
CHECK_DANGLING_EDEFAULT |
true |
protected static final boolean |
INJECTIVE_MATCHING_EDEFAULT |
true |
org.eclipse.emf.henshin.model.impl.SequentialUnitImpl | ||
---|---|---|
protected static final boolean |
ROLLBACK_EDEFAULT |
true |
protected static final boolean |
STRICT_EDEFAULT |
true |
org.eclipse.emf.henshin.model.impl.UnitImpl | ||
---|---|---|
protected static final boolean |
ACTIVATED_EDEFAULT |
true |
org.eclipse.emf.henshin.model.importers.HenshinAGGImporter | ||
---|---|---|
public static final String |
EXPORTER_ID |
"org.eclipse.emf.henshin.agg2henshin" |
org.eclipse.emf.henshin.model.resource.HenshinResource | ||
---|---|---|
public static final String |
FILE_EXTENSION |
"henshin" |
org.eclipse.emf.henshin.model.util.HenshinValidator | ||
---|---|---|
protected static final int |
DIAGNOSTIC_CODE_COUNT |
0 |
public static final String |
DIAGNOSTIC_SOURCE |
"org.eclipse.emf.henshin.model" |
org.eclipse.emf.henshin.statespace.StateSpace | ||
---|---|---|
public static final String |
PROPERTY_CHECK_LINK_ORDER |
"checkLinkOrder" |
public static final String |
PROPERTY_CLOCK_DECLARATIONS |
"clockDeclarations" |
public static final String |
PROPERTY_COLLECT_MISSING_ROOTS |
"collectMissingRoots" |
public static final String |
PROPERTY_CONSTANTS |
"constants" |
public static final String |
PROPERTY_GOAL_PROPERTY |
"goalProperty" |
public static final String |
PROPERTY_IDENTITY_TYPES |
"identityTypes" |
public static final String |
PROPERTY_IGNORE_DUPLICATE_TRANSITIONS |
"ignoreDuplicateTransitions" |
public static final String |
PROPERTY_IGNORED_ATTRIBUTES |
"ignoredAttributes" |
public static final String |
PROPERTY_USE_CLOCKS |
"useClocks" |
org.eclipse.emf.henshin.statespace.StateSpaceManager | ||
---|---|---|
public static final boolean |
DEBUG_ENFORCE_DETERMINISM |
false |
org.eclipse.emf.henshin.statespace.StateSpacePackage | ||
---|---|---|
public static final int |
EGRAPH |
10 |
public static final String |
eNAME |
"statespace" |
public static final String |
eNS_PREFIX |
"statespace" |
public static final String |
eNS_URI |
"http://www.eclipse.org/emf/2010/Henshin/StateSpace" |
public static final int |
EOBJECT_INTEGER_MAP_ENTRY |
6 |
public static final int |
EOBJECT_INTEGER_MAP_ENTRY__KEY |
0 |
public static final int |
EOBJECT_INTEGER_MAP_ENTRY__VALUE |
1 |
public static final int |
EOBJECT_INTEGER_MAP_ENTRY_FEATURE_COUNT |
2 |
public static final int |
EQUALITY_HELPER |
4 |
public static final int |
EQUALITY_HELPER__CHECK_LINK_ORDER |
0 |
public static final int |
EQUALITY_HELPER__IDENTITY_TYPES |
2 |
public static final int |
EQUALITY_HELPER__IGNORED_ATTRIBUTES |
1 |
public static final int |
EQUALITY_HELPER_FEATURE_COUNT |
3 |
public static final int |
INTEGER_ARRAY |
7 |
public static final int |
MATCH |
9 |
public static final int |
MODEL |
2 |
public static final int |
MODEL__EGRAPH |
1 |
public static final int |
MODEL__OBJECT_COUNT |
5 |
public static final int |
MODEL__OBJECT_HASH_CODES |
2 |
public static final int |
MODEL__OBJECT_KEYS |
4 |
public static final int |
MODEL__OBJECT_KEYS_MAP |
3 |
public static final int |
MODEL__RESOURCE |
0 |
public static final int |
MODEL_FEATURE_COUNT |
6 |
public static final int |
STATE |
1 |
public static final int |
STATE__DATA |
0 |
public static final int |
STATE__DERIVED_FROM |
6 |
public static final int |
STATE__GOAL |
8 |
public static final int |
STATE__HASH_CODE |
5 |
public static final int |
STATE__INCOMING |
2 |
public static final int |
STATE__INDEX |
1 |
public static final int |
STATE__LOCATION |
10 |
public static final int |
STATE__MODEL |
13 |
public static final int |
STATE__OBJECT_COUNT |
11 |
public static final int |
STATE__OBJECT_KEYS |
12 |
public static final int |
STATE__OPEN |
7 |
public static final int |
STATE__OUTGOING |
3 |
public static final int |
STATE__PRUNED |
9 |
public static final int |
STATE__STATE_SPACE |
4 |
public static final int |
STATE_FEATURE_COUNT |
14 |
public static final int |
STATE_SPACE |
0 |
public static final int |
STATE_SPACE__ALL_PARAMETER_KEYS |
15 |
public static final int |
STATE_SPACE__DATA |
0 |
public static final int |
STATE_SPACE__EQUALITY_HELPER |
7 |
public static final int |
STATE_SPACE__INITIAL_STATES |
3 |
public static final int |
STATE_SPACE__LAYOUT_HIDE_INDIZES |
12 |
public static final int |
STATE_SPACE__LAYOUT_HIDE_LABELS |
11 |
public static final int |
STATE_SPACE__LAYOUT_STATE_REPULSION |
9 |
public static final int |
STATE_SPACE__LAYOUT_TRANSITION_ATTRACTION |
10 |
public static final int |
STATE_SPACE__LAYOUT_ZOOM_LEVEL |
8 |
public static final int |
STATE_SPACE__MAX_STATE_DISTANCE |
13 |
public static final int |
STATE_SPACE__OPEN_STATES |
4 |
public static final int |
STATE_SPACE__PROPERTIES |
14 |
public static final int |
STATE_SPACE__RULES |
1 |
public static final int |
STATE_SPACE__STATE_COUNT |
5 |
public static final int |
STATE_SPACE__STATES |
2 |
public static final int |
STATE_SPACE__TRANSITION_COUNT |
6 |
public static final int |
STATE_SPACE_FEATURE_COUNT |
16 |
public static final int |
STORAGE |
5 |
public static final int |
STORAGE__DATA |
0 |
public static final int |
STORAGE_FEATURE_COUNT |
1 |
public static final int |
STRING_ARRAY |
8 |
public static final int |
TRANSITION |
3 |
public static final int |
TRANSITION__DATA |
0 |
public static final int |
TRANSITION__MATCH |
4 |
public static final int |
TRANSITION__PARAMETER_COUNT |
5 |
public static final int |
TRANSITION__PARAMETER_KEYS |
6 |
public static final int |
TRANSITION__RULE |
3 |
public static final int |
TRANSITION__SOURCE |
1 |
public static final int |
TRANSITION__TARGET |
2 |
public static final int |
TRANSITION_FEATURE_COUNT |
7 |
org.eclipse.emf.henshin.statespace.StateSpacePlugin | ||
---|---|---|
public static final String |
PLUGIN_ID |
"org.eclipse.emf.henshin.statespace" |
org.eclipse.emf.henshin.statespace.external.AbstractFileBasedValidator | ||
---|---|---|
public static final String |
AUT_FILE_EXPORT_KEY |
"aut-export" |
org.eclipse.emf.henshin.statespace.external.cadp.CADPStateSpaceValidator | ||
---|---|---|
public static final String |
VALIDATOR_ID |
"org.eclipse.emf.henshin.statespace.validator.cadp" |
org.eclipse.emf.henshin.statespace.external.mcrl2.MCRL2StateSpaceValidator | ||
---|---|---|
public static final String |
VALIDATOR_ID |
"org.eclipse.emf.henshin.statespace.validator.mcrl2" |
org.eclipse.emf.henshin.statespace.external.prism.CTMCStateSpaceValidator | ||
---|---|---|
public static final String |
VALIDATOR_ID |
"org.eclipse.emf.henshin.statespace.validator.prism.ctmc" |
org.eclipse.emf.henshin.statespace.external.prism.CTMCSteadyStateTool | ||
---|---|---|
public static final String |
VALIDATOR_ID |
"org.eclipse.emf.henshin.statespace.validator.prism.ctmc.steadystates" |
org.eclipse.emf.henshin.statespace.external.prism.MDPStateSpaceExporter | ||
---|---|---|
public static final String |
EXPORTER_ID |
"org.eclipse.emf.henshin.statespace.external.export.prismmdp" |
org.eclipse.emf.henshin.statespace.external.prism.MDPStateSpaceValidator | ||
---|---|---|
public static final String |
VALIDATOR_ID |
"org.eclipse.emf.henshin.statespace.validator.prism.mdp" |
org.eclipse.emf.henshin.statespace.external.prism.PRISMUtil | ||
---|---|---|
public static final String |
PRISM_ARGS_KEY |
"prismArgs" |
public static final String |
PRISM_EXPERIMENT_KEY |
"prismExperiment" |
public static final String |
PRISM_PATH_KEY |
"prismPath" |
public static final String |
STATE_VARIABLE |
"s" |
org.eclipse.emf.henshin.statespace.impl.EqualityHelperImpl | ||
---|---|---|
protected static final boolean |
CHECK_LINK_ORDER_EDEFAULT |
false |
org.eclipse.emf.henshin.statespace.impl.ModelImpl | ||
---|---|---|
protected static final int |
OBJECT_COUNT_EDEFAULT |
0 |
org.eclipse.emf.henshin.statespace.impl.OCLStateValidator | ||
---|---|---|
public static final String |
VALIDATOR_ID |
"org.eclipse.emf.henshin.statespace.validators.ocl" |
org.eclipse.emf.henshin.statespace.impl.StateImpl | ||
---|---|---|
protected static final int |
DERIVED_FROM_EDEFAULT |
0 |
protected static final boolean |
GOAL_EDEFAULT |
false |
protected static final int |
HASH_CODE_EDEFAULT |
0 |
protected static final int |
INDEX_EDEFAULT |
0 |
protected static final int |
OBJECT_COUNT_EDEFAULT |
0 |
protected static final boolean |
OPEN_EDEFAULT |
false |
protected static final boolean |
PRUNED_EDEFAULT |
false |
org.eclipse.emf.henshin.statespace.impl.StateSpaceImpl | ||
---|---|---|
protected static final boolean |
LAYOUT_HIDE_INDIZES_EDEFAULT |
false |
protected static final boolean |
LAYOUT_HIDE_LABELS_EDEFAULT |
false |
protected static final int |
LAYOUT_STATE_REPULSION_EDEFAULT |
0 |
protected static final int |
LAYOUT_TRANSITION_ATTRACTION_EDEFAULT |
0 |
protected static final int |
LAYOUT_ZOOM_LEVEL_EDEFAULT |
0 |
protected static final int |
MAX_STATE_DISTANCE_EDEFAULT |
-1 |
protected static final int |
STATE_COUNT_EDEFAULT |
0 |
protected static final int |
TRANSITION_COUNT_EDEFAULT |
0 |
org.eclipse.emf.henshin.statespace.impl.TransitionImpl | ||
---|---|---|
protected static final int |
MATCH_EDEFAULT |
0 |
protected static final int |
PARAMETER_COUNT_EDEFAULT |
0 |
org.eclipse.emf.henshin.statespace.resource.StateSpaceResource | ||
---|---|---|
public static final int |
BUFFER_CAPACITY |
524288 |
public static final String |
FILE_EXTENSION |
"henshin_statespace" |
org.eclipse.emf.henshin.statespace.resource.StateSpaceSerializer | ||
---|---|---|
public static final int |
MARKER |
18515 |
org.eclipse.emf.henshin.trace.TracePackage | ||
---|---|---|
public static final String |
eNAME |
"trace" |
public static final String |
eNS_PREFIX |
"trace" |
public static final String |
eNS_URI |
"http://www.eclipse.org/emf/2011/Henshin/Trace" |
public static final int |
TRACE |
0 |
public static final int |
TRACE__NAME |
3 |
public static final int |
TRACE__SOURCE |
1 |
public static final int |
TRACE__SUB_TRACES |
0 |
public static final int |
TRACE__TARGET |
2 |
public static final int |
TRACE_FEATURE_COUNT |
4 |
org.eclipse.emf.henshin.wrap.WrapPackage | ||
---|---|---|
public static final String |
eNAME |
"wrap" |
public static final String |
eNS_PREFIX |
"wrap" |
public static final String |
eNS_URI |
"http://www.eclipse.org/emf/2013/Henshin/Wrap" |
public static final int |
WLINK |
3 |
public static final int |
WLINK__ESTRUCTURAL_FEATURE |
1 |
public static final int |
WLINK__SYNCHRONIZE |
0 |
public static final int |
WLINK__WTARGET |
2 |
public static final int |
WLINK_FEATURE_COUNT |
3 |
public static final int |
WMEMBER |
2 |
public static final int |
WMEMBER__ESTRUCTURAL_FEATURE |
1 |
public static final int |
WMEMBER__SYNCHRONIZE |
0 |
public static final int |
WMEMBER_FEATURE_COUNT |
2 |
public static final int |
WOBJECT |
1 |
public static final int |
WOBJECT__ECLASS |
2 |
public static final int |
WOBJECT__EOBJECT |
1 |
public static final int |
WOBJECT__SYNCHRONIZE |
0 |
public static final int |
WOBJECT__WMEMBERS |
3 |
public static final int |
WOBJECT_FEATURE_COUNT |
4 |
public static final int |
WSYNCHRONIZER |
0 |
public static final int |
WSYNCHRONIZER__SYNCHRONIZE |
0 |
public static final int |
WSYNCHRONIZER_FEATURE_COUNT |
1 |
public static final int |
WVALUE |
4 |
public static final int |
WVALUE__ESTRUCTURAL_FEATURE |
1 |
public static final int |
WVALUE__EVALUE |
2 |
public static final int |
WVALUE__SYNCHRONIZE |
0 |
public static final int |
WVALUE_FEATURE_COUNT |
3 |
org.eclipse.emf.henshin.wrap.impl.WSynchronizerImpl | ||
---|---|---|
protected static final boolean |
SYNCHRONIZE_EDEFAULT |
true |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |