Constant Field Values

Contents

• tools.refinery.*

tools.refinery.*

tools.refinery.language.model.delegate.ProblemDelegateFactory

Modifier and Type	Constant Field	Value
public static final String	URI	"https://refinery.tools/emf/2024/ProblemDelegate"

tools.refinery.language.model.problem.BinaryOp

Modifier and Type	Constant Field	Value
public static final int	ADD_VALUE	0
public static final int	AND_VALUE	5
public static final int	DIV_VALUE	3
public static final int	MUL_VALUE	2
public static final int	OR_VALUE	6
public static final int	POW_VALUE	4
public static final int	SUB_VALUE	1
public static final int	XOR_VALUE	7

tools.refinery.language.model.problem.ComparisonOp

Modifier and Type	Constant Field	Value
public static final int	EQ_VALUE	4
public static final int	GREATER_EQ_VALUE	3
public static final int	GREATER_VALUE	2
public static final int	IN_VALUE	6
public static final int	LESS_EQ_VALUE	1
public static final int	LESS_VALUE	0
public static final int	NODE_EQ_VALUE	9
public static final int	NODE_NOT_EQ_VALUE	10
public static final int	NOT_EQ_VALUE	5

tools.refinery.language.model.problem.Concreteness

Modifier and Type	Constant Field	Value
public static final int	CANDIDATE_VALUE	2
public static final int	PARTIAL_VALUE	1
public static final int	UNSPECIFIED_VALUE	0

tools.refinery.language.model.problem.LatticeBinaryOp

Modifier and Type	Constant Field	Value
public static final int	JOIN_VALUE	1
public static final int	MEET_VALUE	0

tools.refinery.language.model.problem.LogicValue

Modifier and Type	Constant Field	Value
public static final int	ERROR_VALUE	3
public static final int	FALSE_VALUE	1
public static final int	TRUE_VALUE	0
public static final int	UNKNOWN_VALUE	2

tools.refinery.language.model.problem.Modality

Modifier and Type	Constant Field	Value
public static final int	MAY_VALUE	2
public static final int	MUST_VALUE	1
public static final int	UNSPECIFIED_VALUE	0

tools.refinery.language.model.problem.ModuleKind

Modifier and Type	Constant Field	Value
public static final int	MODULE_VALUE	1
public static final int	PROBLEM_VALUE	0

tools.refinery.language.model.problem.NodeKind

Modifier and Type	Constant Field	Value
public static final int	ATOM_VALUE	1
public static final int	MULTI_VALUE	2
public static final int	NODE_VALUE	0

tools.refinery.language.model.problem.ParameterKind

Modifier and Type	Constant Field	Value
public static final int	PRED_VALUE	1
public static final int	VALUE_VALUE	0

tools.refinery.language.model.problem.PredicateKind

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_VALUE	0
public static final int	ERROR_VALUE	1
public static final int	SHADOW_VALUE	2

tools.refinery.language.model.problem.ProblemPackage

Modifier and Type	Constant Field	Value
public static final int	ABSTRACT_ASSERTION	10
public static final int	ABSTRACT_ASSERTION__ARGUMENTS	0
public static final int	ABSTRACT_ASSERTION__RELATION	1
public static final int	ABSTRACT_ASSERTION__VALUE	2
public static final int	ABSTRACT_ASSERTION_FEATURE_COUNT	3
public static final int	ABSTRACT_ASSERTION_OPERATION_COUNT	0
public static final int	ACTION	32
public static final int	ACTION_FEATURE_COUNT	0
public static final int	ACTION_OPERATION_COUNT	0
public static final int	AGGREGATION_EXPR	39
public static final int	AGGREGATION_EXPR__AGGREGATOR	3
public static final int	AGGREGATION_EXPR__CONDITION	2
public static final int	AGGREGATION_EXPR__IMPLICIT_VARIABLES	0
public static final int	AGGREGATION_EXPR__VALUE	1
public static final int	AGGREGATION_EXPR_FEATURE_COUNT	4
public static final int	AGGREGATION_EXPR_OPERATION_COUNT	0
public static final int	AGGREGATOR_DECLARATION	58
public static final int	AGGREGATOR_DECLARATION__ANNOTATIONS	1
public static final int	AGGREGATOR_DECLARATION__NAME	0
public static final int	AGGREGATOR_DECLARATION_FEATURE_COUNT	2
public static final int	AGGREGATOR_DECLARATION_OPERATION_COUNT	0
public static final int	ANNOTATED_ELEMENT	61
public static final int	ANNOTATED_ELEMENT__ANNOTATIONS	0
public static final int	ANNOTATED_ELEMENT_FEATURE_COUNT	1
public static final int	ANNOTATED_ELEMENT_OPERATION_COUNT	0
public static final int	ANNOTATION	64
public static final int	ANNOTATION__ARGUMENTS	1
public static final int	ANNOTATION__DECLARATION	0
public static final int	ANNOTATION_ARGUMENT	65
public static final int	ANNOTATION_ARGUMENT__PARAMETER	1
public static final int	ANNOTATION_ARGUMENT__VALUE	0
public static final int	ANNOTATION_ARGUMENT_FEATURE_COUNT	2
public static final int	ANNOTATION_ARGUMENT_OPERATION_COUNT	0
public static final int	ANNOTATION_CONTAINER	62
public static final int	ANNOTATION_CONTAINER__ANNOTATIONS	0
public static final int	ANNOTATION_CONTAINER_FEATURE_COUNT	1
public static final int	ANNOTATION_CONTAINER_OPERATION_COUNT	0
public static final int	ANNOTATION_DECLARATION	63
public static final int	ANNOTATION_DECLARATION__ANNOTATIONS	0
public static final int	ANNOTATION_DECLARATION__NAME	2
public static final int	ANNOTATION_DECLARATION__PARAMETERS	1
public static final int	ANNOTATION_DECLARATION_FEATURE_COUNT	3
public static final int	ANNOTATION_DECLARATION_OPERATION_COUNT	0
public static final int	ANNOTATION_FEATURE_COUNT	2
public static final int	ANNOTATION_OPERATION_COUNT	0
public static final int	ARITHMETIC_BINARY_EXPR	46
public static final int	ARITHMETIC_BINARY_EXPR__LEFT	0
public static final int	ARITHMETIC_BINARY_EXPR__OP	2
public static final int	ARITHMETIC_BINARY_EXPR__RIGHT	1
public static final int	ARITHMETIC_BINARY_EXPR_FEATURE_COUNT	3
public static final int	ARITHMETIC_BINARY_EXPR_OPERATION_COUNT	0
public static final int	ARITHMETIC_UNARY_EXPR	38
public static final int	ARITHMETIC_UNARY_EXPR__BODY	0
public static final int	ARITHMETIC_UNARY_EXPR__OP	1
public static final int	ARITHMETIC_UNARY_EXPR_FEATURE_COUNT	2
public static final int	ARITHMETIC_UNARY_EXPR_OPERATION_COUNT	0
public static final int	ASSERTION	60
public static final int	ASSERTION__ARGUMENTS	0
public static final int	ASSERTION__DEFAULT	3
public static final int	ASSERTION__RELATION	1
public static final int	ASSERTION__VALUE	2
public static final int	ASSERTION_ACTION	33
public static final int	ASSERTION_ACTION__ARGUMENTS	0
public static final int	ASSERTION_ACTION__RELATION	1
public static final int	ASSERTION_ACTION__VALUE	2
public static final int	ASSERTION_ACTION_FEATURE_COUNT	3
public static final int	ASSERTION_ACTION_OPERATION_COUNT	0
public static final int	ASSERTION_ARGUMENT	26
public static final int	ASSERTION_ARGUMENT_FEATURE_COUNT	0
public static final int	ASSERTION_ARGUMENT_OPERATION_COUNT	0
public static final int	ASSERTION_FEATURE_COUNT	4
public static final int	ASSERTION_OPERATION_COUNT	0
public static final int	ASSIGNMENT_EXPR	56
public static final int	ASSIGNMENT_EXPR__LEFT	0
public static final int	ASSIGNMENT_EXPR__RIGHT	1
public static final int	ASSIGNMENT_EXPR_FEATURE_COUNT	2
public static final int	ASSIGNMENT_EXPR_OPERATION_COUNT	0
public static final int	ATOM	7
public static final int	ATOM__ARGUMENTS	1
public static final int	ATOM__RELATION	2
public static final int	ATOM__TRANSITIVE_CLOSURE	0
public static final int	ATOM_FEATURE_COUNT	3
public static final int	ATOM_OPERATION_COUNT	0
public static final int	BINARY_EXPR	36
public static final int	BINARY_EXPR__LEFT	0
public static final int	BINARY_EXPR__RIGHT	1
public static final int	BINARY_EXPR_FEATURE_COUNT	2
public static final int	BINARY_EXPR_OPERATION_COUNT	0
public static final int	BINARY_OP	71
public static final int	CASE	43
public static final int	CASE_FEATURE_COUNT	0
public static final int	CASE_OPERATION_COUNT	0
public static final int	CAST_EXPR	55
public static final int	CAST_EXPR__BODY	0
public static final int	CAST_EXPR__TARGET_TYPE	1
public static final int	CAST_EXPR_FEATURE_COUNT	2
public static final int	CAST_EXPR_OPERATION_COUNT	0
public static final int	CLASS_DECLARATION	1
public static final int	CLASS_DECLARATION__ABSTRACT	2
public static final int	CLASS_DECLARATION__ANNOTATIONS	1
public static final int	CLASS_DECLARATION__FEATURE_DECLARATIONS	3
public static final int	CLASS_DECLARATION__NAME	0
public static final int	CLASS_DECLARATION__NEW_NODE	4
public static final int	CLASS_DECLARATION__SUPER_TYPES	5
public static final int	CLASS_DECLARATION_FEATURE_COUNT	6
public static final int	CLASS_DECLARATION_OPERATION_COUNT	0
public static final int	COMPARISON_EXPR	40
public static final int	COMPARISON_EXPR__LEFT	0
public static final int	COMPARISON_EXPR__OP	2
public static final int	COMPARISON_EXPR__RIGHT	1
public static final int	COMPARISON_EXPR_FEATURE_COUNT	3
public static final int	COMPARISON_EXPR_OPERATION_COUNT	0
public static final int	COMPARISON_OP	68
public static final int	CONCRETENESS	76
public static final int	CONJUNCTION	44
public static final int	CONJUNCTION__IMPLICIT_VARIABLES	0
public static final int	CONJUNCTION__LITERALS	1
public static final int	CONJUNCTION_FEATURE_COUNT	2
public static final int	CONJUNCTION_OPERATION_COUNT	0
public static final int	CONSEQUENT	31
public static final int	CONSEQUENT__ACTIONS	0
public static final int	CONSEQUENT_FEATURE_COUNT	1
public static final int	CONSEQUENT_OPERATION_COUNT	0
public static final int	CONSTANT	21
public static final int	CONSTANT_FEATURE_COUNT	0
public static final int	CONSTANT_OPERATION_COUNT	0
public static final int	COUNT_EXPR	48
public static final int	COUNT_EXPR__BODY	1
public static final int	COUNT_EXPR__IMPLICIT_VARIABLES	0
public static final int	COUNT_EXPR_FEATURE_COUNT	2
public static final int	COUNT_EXPR_OPERATION_COUNT	0
public static final int	DATATYPE_DECLARATION	53
public static final int	DATATYPE_DECLARATION__ANNOTATIONS	1
public static final int	DATATYPE_DECLARATION__NAME	0
public static final int	DATATYPE_DECLARATION_FEATURE_COUNT	2
public static final int	DATATYPE_DECLARATION_OPERATION_COUNT	0
public static final String	eNAME	"problem"
public static final String	eNS_PREFIX	"problem"
public static final String	eNS_URI	"https://refinery.tools/emf/2021/Problem"
public static final int	ENUM_DECLARATION	19
public static final int	ENUM_DECLARATION__ANNOTATIONS	1
public static final int	ENUM_DECLARATION__LITERALS	2
public static final int	ENUM_DECLARATION__NAME	0
public static final int	ENUM_DECLARATION_FEATURE_COUNT	3
public static final int	ENUM_DECLARATION_OPERATION_COUNT	0
public static final int	EXACT_MULTIPLICITY	17
public static final int	EXACT_MULTIPLICITY__EXACT_VALUE	0
public static final int	EXACT_MULTIPLICITY_FEATURE_COUNT	1
public static final int	EXACT_MULTIPLICITY_OPERATION_COUNT	0
public static final int	EXISTENTIAL_QUANTIFIER	9
public static final int	EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES	0
public static final int	EXISTENTIAL_QUANTIFIER_FEATURE_COUNT	1
public static final int	EXISTENTIAL_QUANTIFIER_OPERATION_COUNT	0
public static final int	EXPR	34
public static final int	EXPR_FEATURE_COUNT	0
public static final int	EXPR_OPERATION_COUNT	0
public static final int	FUNCTION_DEFINITION	42
public static final int	FUNCTION_DEFINITION__ANNOTATIONS	0
public static final int	FUNCTION_DEFINITION__CASES	3
public static final int	FUNCTION_DEFINITION__FUNCTION_TYPE	4
public static final int	FUNCTION_DEFINITION__NAME	2
public static final int	FUNCTION_DEFINITION__PARAMETERS	1
public static final int	FUNCTION_DEFINITION_FEATURE_COUNT	5
public static final int	FUNCTION_DEFINITION_OPERATION_COUNT	0
public static final int	IMPLICIT_VARIABLE	8
public static final int	IMPLICIT_VARIABLE__NAME	0
public static final int	IMPLICIT_VARIABLE_FEATURE_COUNT	1
public static final int	IMPLICIT_VARIABLE_OPERATION_COUNT	0
public static final int	IMPORT_STATEMENT	52
public static final int	IMPORT_STATEMENT__ALIAS	1
public static final int	IMPORT_STATEMENT__IMPORTED_MODULE	0
public static final int	IMPORT_STATEMENT_FEATURE_COUNT	2
public static final int	IMPORT_STATEMENT_OPERATION_COUNT	0
public static final int	INFINITE_CONSTANT	57
public static final int	INFINITE_CONSTANT_FEATURE_COUNT	0
public static final int	INFINITE_CONSTANT_OPERATION_COUNT	0
public static final int	INT_CONSTANT	22
public static final int	INT_CONSTANT__INT_VALUE	0
public static final int	INT_CONSTANT_FEATURE_COUNT	1
public static final int	INT_CONSTANT_OPERATION_COUNT	0
public static final int	LATTICE_BINARY_EXPR	54
public static final int	LATTICE_BINARY_EXPR__LEFT	0
public static final int	LATTICE_BINARY_EXPR__OP	2
public static final int	LATTICE_BINARY_EXPR__RIGHT	1
public static final int	LATTICE_BINARY_EXPR_FEATURE_COUNT	3
public static final int	LATTICE_BINARY_EXPR_OPERATION_COUNT	0
public static final int	LATTICE_BINARY_OP	74
public static final int	LOGIC_CONSTANT	51
public static final int	LOGIC_CONSTANT__LOGIC_VALUE	0
public static final int	LOGIC_CONSTANT_FEATURE_COUNT	1
public static final int	LOGIC_CONSTANT_OPERATION_COUNT	0
public static final int	LOGIC_VALUE	67
public static final int	MATCH	45
public static final int	MATCH__CONDITION	0
public static final int	MATCH__VALUE	1
public static final int	MATCH_FEATURE_COUNT	2
public static final int	MATCH_OPERATION_COUNT	0
public static final int	MODAL_EXPR	59
public static final int	MODAL_EXPR__BODY	0
public static final int	MODAL_EXPR__CONCRETENESS	1
public static final int	MODAL_EXPR__MODALITY	2
public static final int	MODAL_EXPR_FEATURE_COUNT	3
public static final int	MODAL_EXPR_OPERATION_COUNT	0
public static final int	MODALITY	75
public static final int	MODULE_KIND	72
public static final int	MULTIPLICITY	15
public static final int	MULTIPLICITY_FEATURE_COUNT	0
public static final int	MULTIPLICITY_OPERATION_COUNT	0
public static final int	NAMED_ELEMENT	3
public static final int	NAMED_ELEMENT__NAME	0
public static final int	NAMED_ELEMENT_FEATURE_COUNT	1
public static final int	NAMED_ELEMENT_OPERATION_COUNT	0
public static final int	NEGATION_EXPR	47
public static final int	NEGATION_EXPR__BODY	1
public static final int	NEGATION_EXPR__IMPLICIT_VARIABLES	0
public static final int	NEGATION_EXPR_FEATURE_COUNT	2
public static final int	NEGATION_EXPR_OPERATION_COUNT	0
public static final int	NODE	11
public static final int	NODE__ANNOTATIONS	1
public static final int	NODE__NAME	0
public static final int	NODE_ASSERTION_ARGUMENT	25
public static final int	NODE_ASSERTION_ARGUMENT__NODE	0
public static final int	NODE_ASSERTION_ARGUMENT_FEATURE_COUNT	1
public static final int	NODE_ASSERTION_ARGUMENT_OPERATION_COUNT	0
public static final int	NODE_DECLARATION	27
public static final int	NODE_DECLARATION__ANNOTATIONS	0
public static final int	NODE_DECLARATION__KIND	2
public static final int	NODE_DECLARATION__NODES	1
public static final int	NODE_DECLARATION_FEATURE_COUNT	3
public static final int	NODE_DECLARATION_OPERATION_COUNT	0
public static final int	NODE_FEATURE_COUNT	2
public static final int	NODE_KIND	73
public static final int	NODE_OPERATION_COUNT	0
public static final int	PARAMETER	5
public static final int	PARAMETER__ANNOTATIONS	1
public static final int	PARAMETER__KIND	3
public static final int	PARAMETER__NAME	0
public static final int	PARAMETER__PARAMETER_TYPE	2
public static final int	PARAMETER_FEATURE_COUNT	4
public static final int	PARAMETER_KIND	79
public static final int	PARAMETER_OPERATION_COUNT	0
public static final int	PARAMETRIC_DEFINITION	29
public static final int	PARAMETRIC_DEFINITION__ANNOTATIONS	0
public static final int	PARAMETRIC_DEFINITION__PARAMETERS	1
public static final int	PARAMETRIC_DEFINITION_FEATURE_COUNT	2
public static final int	PARAMETRIC_DEFINITION_OPERATION_COUNT	0
public static final int	PREDICATE_DEFINITION	4
public static final int	PREDICATE_DEFINITION__ANNOTATIONS	0
public static final int	PREDICATE_DEFINITION__BODIES	3
public static final int	PREDICATE_DEFINITION__COMPUTED_VALUE	5
public static final int	PREDICATE_DEFINITION__KIND	4
public static final int	PREDICATE_DEFINITION__NAME	2
public static final int	PREDICATE_DEFINITION__PARAMETERS	1
public static final int	PREDICATE_DEFINITION__SUPER_SETS	6
public static final int	PREDICATE_DEFINITION_FEATURE_COUNT	7
public static final int	PREDICATE_DEFINITION_OPERATION_COUNT	0
public static final int	PREDICATE_KIND	78
public static final int	PROBLEM	0
public static final int	PROBLEM__EXPLICIT_KIND	4
public static final int	PROBLEM__KIND	3
public static final int	PROBLEM__NAME	0
public static final int	PROBLEM__NODES	1
public static final int	PROBLEM__STATEMENTS	2
public static final int	PROBLEM_FEATURE_COUNT	5
public static final int	PROBLEM_OPERATION_COUNT	0
public static final int	QUANTIFIED_UNARY_EXPR	41
public static final int	QUANTIFIED_UNARY_EXPR__BODY	1
public static final int	QUANTIFIED_UNARY_EXPR__IMPLICIT_VARIABLES	0
public static final int	QUANTIFIED_UNARY_EXPR_FEATURE_COUNT	2
public static final int	QUANTIFIED_UNARY_EXPR_OPERATION_COUNT	0
public static final int	RANGE_EXPR	50
public static final int	RANGE_EXPR__LEFT	0
public static final int	RANGE_EXPR__RIGHT	1
public static final int	RANGE_EXPR_FEATURE_COUNT	2
public static final int	RANGE_EXPR_OPERATION_COUNT	0
public static final int	RANGE_MULTIPLICITY	16
public static final int	RANGE_MULTIPLICITY__LOWER_BOUND	0
public static final int	RANGE_MULTIPLICITY__UPPER_BOUND	1
public static final int	RANGE_MULTIPLICITY_FEATURE_COUNT	2
public static final int	RANGE_MULTIPLICITY_OPERATION_COUNT	0
public static final int	REAL_CONSTANT	23
public static final int	REAL_CONSTANT__REAL_VALUE	0
public static final int	REAL_CONSTANT_FEATURE_COUNT	1
public static final int	REAL_CONSTANT_OPERATION_COUNT	0
public static final int	REFERENCE_DECLARATION	2
public static final int	REFERENCE_DECLARATION__ANNOTATIONS	1
public static final int	REFERENCE_DECLARATION__INVALID_MULTIPLICITY	6
public static final int	REFERENCE_DECLARATION__KIND	4
public static final int	REFERENCE_DECLARATION__MULTIPLICITY	3
public static final int	REFERENCE_DECLARATION__NAME	0
public static final int	REFERENCE_DECLARATION__OPPOSITE	2
public static final int	REFERENCE_DECLARATION__REFERENCE_TYPE	5
public static final int	REFERENCE_DECLARATION__SUPER_SETS	7
public static final int	REFERENCE_DECLARATION_FEATURE_COUNT	8
public static final int	REFERENCE_DECLARATION_OPERATION_COUNT	0
public static final int	REFERENCE_KIND	69
public static final int	RELATION	49
public static final int	RELATION__NAME	0
public static final int	RELATION_FEATURE_COUNT	1
public static final int	RELATION_OPERATION_COUNT	0
public static final int	RULE_DEFINITION	30
public static final int	RULE_DEFINITION__ANNOTATIONS	0
public static final int	RULE_DEFINITION__CONSEQUENTS	3
public static final int	RULE_DEFINITION__KIND	5
public static final int	RULE_DEFINITION__NAME	2
public static final int	RULE_DEFINITION__PARAMETERS	1
public static final int	RULE_DEFINITION__PRECONDITIONS	4
public static final int	RULE_DEFINITION_FEATURE_COUNT	6
public static final int	RULE_DEFINITION_OPERATION_COUNT	0
public static final int	RULE_KIND	77
public static final int	SCOPE_DECLARATION	12
public static final int	SCOPE_DECLARATION__TYPE_SCOPES	0
public static final int	SCOPE_DECLARATION_FEATURE_COUNT	1
public static final int	SCOPE_DECLARATION_OPERATION_COUNT	0
public static final int	STATEMENT	13
public static final int	STATEMENT_FEATURE_COUNT	0
public static final int	STATEMENT_OPERATION_COUNT	0
public static final int	STRING_CONSTANT	24
public static final int	STRING_CONSTANT__STRING_VALUE	0
public static final int	STRING_CONSTANT_FEATURE_COUNT	1
public static final int	STRING_CONSTANT_OPERATION_COUNT	0
public static final int	TOP_LEVEL_ANNOTATION	66
public static final int	TOP_LEVEL_ANNOTATION__ANNOTATION	0
public static final int	TOP_LEVEL_ANNOTATION_FEATURE_COUNT	1
public static final int	TOP_LEVEL_ANNOTATION_OPERATION_COUNT	0
public static final int	TYPE_SCOPE	14
public static final int	TYPE_SCOPE__INCREMENT	0
public static final int	TYPE_SCOPE__MULTIPLICITY	1
public static final int	TYPE_SCOPE__TARGET_TYPE	2
public static final int	TYPE_SCOPE_FEATURE_COUNT	3
public static final int	TYPE_SCOPE_OPERATION_COUNT	0
public static final int	UNARY_EXPR	37
public static final int	UNARY_EXPR__BODY	0
public static final int	UNARY_EXPR_FEATURE_COUNT	1
public static final int	UNARY_EXPR_OPERATION_COUNT	0
public static final int	UNARY_OP	70
public static final int	UNBOUNDED_MULTIPLICITY	18
public static final int	UNBOUNDED_MULTIPLICITY_FEATURE_COUNT	0
public static final int	UNBOUNDED_MULTIPLICITY_OPERATION_COUNT	0
public static final int	VARIABLE	6
public static final int	VARIABLE__NAME	0
public static final int	VARIABLE_FEATURE_COUNT	1
public static final int	VARIABLE_OPERATION_COUNT	0
public static final int	VARIABLE_OR_NODE	20
public static final int	VARIABLE_OR_NODE__NAME	0
public static final int	VARIABLE_OR_NODE_EXPR	35
public static final int	VARIABLE_OR_NODE_EXPR__ELEMENT	3
public static final int	VARIABLE_OR_NODE_EXPR__RELATION	2
public static final int	VARIABLE_OR_NODE_EXPR__SINGLETON_VARIABLE	1
public static final int	VARIABLE_OR_NODE_EXPR__VARIABLE_OR_NODE	0
public static final int	VARIABLE_OR_NODE_EXPR_FEATURE_COUNT	4
public static final int	VARIABLE_OR_NODE_EXPR_OPERATION_COUNT	0
public static final int	VARIABLE_OR_NODE_FEATURE_COUNT	1
public static final int	VARIABLE_OR_NODE_OPERATION_COUNT	0
public static final int	WILDCARD_ASSERTION_ARGUMENT	28
public static final int	WILDCARD_ASSERTION_ARGUMENT_FEATURE_COUNT	0
public static final int	WILDCARD_ASSERTION_ARGUMENT_OPERATION_COUNT	0

tools.refinery.language.model.problem.ReferenceKind

Modifier and Type	Constant Field	Value
public static final int	CONTAINER_VALUE	3
public static final int	CONTAINMENT_VALUE	3
public static final int	DEFAULT_VALUE	1
public static final int	REFERENCE_VALUE	2

tools.refinery.language.model.problem.RuleKind

Modifier and Type	Constant Field	Value
public static final int	CONCRETIZATION_VALUE	3
public static final int	DECISION_VALUE	2
public static final int	PROPAGATION_VALUE	1
public static final int	REFINEMENT_VALUE	0

tools.refinery.language.model.problem.UnaryOp

Modifier and Type	Constant Field	Value
public static final int	MINUS_VALUE	1
public static final int	PLUS_VALUE	0

tools.refinery.language.model.problem.impl.AssertionImpl

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

tools.refinery.language.model.problem.impl.AtomImpl

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

tools.refinery.language.model.problem.impl.ClassDeclarationImpl

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

tools.refinery.language.model.problem.impl.ExactMultiplicityImpl

Modifier and Type	Constant Field	Value
protected static final int	EXACT_VALUE_EDEFAULT	1

tools.refinery.language.model.problem.impl.IntConstantImpl

Modifier and Type	Constant Field	Value
protected static final int	INT_VALUE_EDEFAULT	0

tools.refinery.language.model.problem.impl.ProblemImpl

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

tools.refinery.language.model.problem.impl.RangeMultiplicityImpl

Modifier and Type	Constant Field	Value
protected static final int	LOWER_BOUND_EDEFAULT	0
protected static final int	UPPER_BOUND_EDEFAULT	-1

tools.refinery.language.model.problem.impl.RealConstantImpl

Modifier and Type	Constant Field	Value
protected static final double	REAL_VALUE_EDEFAULT	0.0

tools.refinery.language.model.problem.impl.TypeScopeImpl

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