Hierarchy For Package tools.refinery.language.model.problem

Package Hierarchies:

• All Packages

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
    • 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.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)