Hierarchy For Package tools.refinery.language.model.problem
Interface Hierarchy
- org.eclipse.emf.common.notify.Notifier
- org.eclipse.emf.ecore.EObject
- tools.refinery.language.model.problem.AbstractAssertion
- tools.refinery.language.model.problem.Assertion (also extends tools.refinery.language.model.problem.Statement)
- tools.refinery.language.model.problem.AssertionAction (also extends tools.refinery.language.model.problem.Action)
- tools.refinery.language.model.problem.Action
- tools.refinery.language.model.problem.AssertionAction (also extends tools.refinery.language.model.problem.AbstractAssertion)
- tools.refinery.language.model.problem.AssertionArgument
- tools.refinery.language.model.problem.NodeAssertionArgument
- tools.refinery.language.model.problem.WildcardAssertionArgument
- tools.refinery.language.model.problem.Case
- tools.refinery.language.model.problem.Conjunction (also extends tools.refinery.language.model.problem.ExistentialQuantifier)
- tools.refinery.language.model.problem.Match
- tools.refinery.language.model.problem.Consequent
- org.eclipse.emf.ecore.EModelElement
- org.eclipse.emf.ecore.EFactory
- tools.refinery.language.model.problem.ProblemFactory
- org.eclipse.emf.ecore.ENamedElement
- org.eclipse.emf.ecore.EPackage
- tools.refinery.language.model.problem.ProblemPackage
- org.eclipse.emf.ecore.EPackage
- org.eclipse.emf.ecore.EFactory
- tools.refinery.language.model.problem.ExistentialQuantifier
- tools.refinery.language.model.problem.AggregationExpr (also extends tools.refinery.language.model.problem.Expr)
- tools.refinery.language.model.problem.Conjunction (also extends tools.refinery.language.model.problem.Case)
- tools.refinery.language.model.problem.QuantifiedUnaryExpr (also extends tools.refinery.language.model.problem.UnaryExpr)
- tools.refinery.language.model.problem.CountExpr
- tools.refinery.language.model.problem.NegationExpr
- tools.refinery.language.model.problem.Expr
- tools.refinery.language.model.problem.AggregationExpr (also extends tools.refinery.language.model.problem.ExistentialQuantifier)
- tools.refinery.language.model.problem.Atom
- tools.refinery.language.model.problem.BinaryExpr
- tools.refinery.language.model.problem.ArithmeticBinaryExpr
- tools.refinery.language.model.problem.AssignmentExpr
- tools.refinery.language.model.problem.ComparisonExpr
- tools.refinery.language.model.problem.LatticeBinaryExpr
- tools.refinery.language.model.problem.RangeExpr
- tools.refinery.language.model.problem.CastExpr
- tools.refinery.language.model.problem.Constant
- tools.refinery.language.model.problem.InfiniteConstant
- tools.refinery.language.model.problem.IntConstant
- tools.refinery.language.model.problem.LogicConstant
- tools.refinery.language.model.problem.RealConstant
- tools.refinery.language.model.problem.StringConstant
- tools.refinery.language.model.problem.UnaryExpr
- tools.refinery.language.model.problem.ArithmeticUnaryExpr
- tools.refinery.language.model.problem.ModalExpr
- tools.refinery.language.model.problem.QuantifiedUnaryExpr (also extends tools.refinery.language.model.problem.ExistentialQuantifier)
- tools.refinery.language.model.problem.CountExpr
- tools.refinery.language.model.problem.NegationExpr
- tools.refinery.language.model.problem.VariableOrNodeExpr
- tools.refinery.language.model.problem.Multiplicity
- tools.refinery.language.model.problem.ExactMultiplicity
- tools.refinery.language.model.problem.RangeMultiplicity
- tools.refinery.language.model.problem.UnboundedMultiplicity
- tools.refinery.language.model.problem.NamedElement
- tools.refinery.language.model.problem.AggregatorDeclaration (also extends tools.refinery.language.model.problem.Statement)
- tools.refinery.language.model.problem.Problem
- tools.refinery.language.model.problem.Relation
- tools.refinery.language.model.problem.ClassDeclaration (also extends tools.refinery.language.model.problem.Statement)
- tools.refinery.language.model.problem.DatatypeDeclaration (also extends tools.refinery.language.model.problem.Statement)
- tools.refinery.language.model.problem.EnumDeclaration (also extends tools.refinery.language.model.problem.Statement)
- tools.refinery.language.model.problem.FunctionDefinition (also extends tools.refinery.language.model.problem.ParametricDefinition)
- tools.refinery.language.model.problem.PredicateDefinition (also extends tools.refinery.language.model.problem.ParametricDefinition)
- tools.refinery.language.model.problem.ReferenceDeclaration
- tools.refinery.language.model.problem.RuleDefinition (also extends tools.refinery.language.model.problem.ParametricDefinition)
- tools.refinery.language.model.problem.VariableOrNode
- tools.refinery.language.model.problem.Node
- tools.refinery.language.model.problem.Variable
- tools.refinery.language.model.problem.ImplicitVariable
- tools.refinery.language.model.problem.Parameter
- tools.refinery.language.model.problem.Statement
- tools.refinery.language.model.problem.AggregatorDeclaration (also extends tools.refinery.language.model.problem.NamedElement)
- tools.refinery.language.model.problem.Assertion (also extends tools.refinery.language.model.problem.AbstractAssertion)
- tools.refinery.language.model.problem.ClassDeclaration (also extends tools.refinery.language.model.problem.Relation)
- tools.refinery.language.model.problem.DatatypeDeclaration (also extends tools.refinery.language.model.problem.Relation)
- tools.refinery.language.model.problem.EnumDeclaration (also extends tools.refinery.language.model.problem.Relation)
- tools.refinery.language.model.problem.ImportStatement
- tools.refinery.language.model.problem.NodeDeclaration
- tools.refinery.language.model.problem.ParametricDefinition
- tools.refinery.language.model.problem.FunctionDefinition (also extends tools.refinery.language.model.problem.Relation)
- tools.refinery.language.model.problem.PredicateDefinition (also extends tools.refinery.language.model.problem.Relation)
- tools.refinery.language.model.problem.RuleDefinition (also extends tools.refinery.language.model.problem.NamedElement)
- tools.refinery.language.model.problem.ScopeDeclaration
- tools.refinery.language.model.problem.TypeScope
- tools.refinery.language.model.problem.AbstractAssertion
- org.eclipse.emf.ecore.EObject
- tools.refinery.language.model.problem.ProblemPackage.Literals
Enum Class Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
- tools.refinery.language.model.problem.BinaryOp (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.ComparisonOp (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.Concreteness (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.LatticeBinaryOp (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.LogicValue (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.Modality (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.ModuleKind (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.NodeKind (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.ParameterBinding (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.PredicateKind (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.ReferenceKind (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.RuleKind (implements org.eclipse.emf.common.util.Enumerator)
- tools.refinery.language.model.problem.UnaryOp (implements org.eclipse.emf.common.util.Enumerator)
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)