Hierarchy For All Packages
- tools.refinery.language.model.problem,
- tools.refinery.language.model.problem.impl,
- tools.refinery.language.model.problem.util
Class Hierarchy
- java.lang.Object
- org.eclipse.emf.common.notify.impl.AdapterFactoryImpl (implements org.eclipse.emf.common.notify.AdapterFactory)
- tools.refinery.language.model.problem.util.ProblemAdapterFactory
- org.eclipse.emf.common.notify.impl.BasicNotifierImpl (implements org.eclipse.emf.common.notify.Notifier)
- org.eclipse.emf.ecore.impl.BasicEObjectImpl (implements org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject)
- org.eclipse.emf.ecore.impl.MinimalEObjectImpl (implements org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder)
- org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
- tools.refinery.language.model.problem.impl.AbstractAssertionImpl (implements tools.refinery.language.model.problem.AbstractAssertion)
- tools.refinery.language.model.problem.impl.AggregatorDeclarationImpl (implements tools.refinery.language.model.problem.AggregatorDeclaration)
- tools.refinery.language.model.problem.impl.AssertionActionImpl (implements tools.refinery.language.model.problem.AssertionAction)
- tools.refinery.language.model.problem.impl.AssertionArgumentImpl (implements tools.refinery.language.model.problem.AssertionArgument)
- tools.refinery.language.model.problem.impl.NodeAssertionArgumentImpl (implements tools.refinery.language.model.problem.NodeAssertionArgument)
- tools.refinery.language.model.problem.impl.WildcardAssertionArgumentImpl (implements tools.refinery.language.model.problem.WildcardAssertionArgument)
- tools.refinery.language.model.problem.impl.AssertionImpl (implements tools.refinery.language.model.problem.Assertion)
- tools.refinery.language.model.problem.impl.CaseImpl (implements tools.refinery.language.model.problem.Case)
- tools.refinery.language.model.problem.impl.ConjunctionImpl (implements tools.refinery.language.model.problem.Conjunction)
- tools.refinery.language.model.problem.impl.MatchImpl (implements tools.refinery.language.model.problem.Match)
- tools.refinery.language.model.problem.impl.ClassDeclarationImpl (implements tools.refinery.language.model.problem.ClassDeclaration)
- tools.refinery.language.model.problem.impl.ConsequentImpl (implements tools.refinery.language.model.problem.Consequent)
- org.eclipse.emf.ecore.impl.EModelElementImpl (implements org.eclipse.emf.ecore.EModelElement)
- org.eclipse.emf.ecore.impl.EFactoryImpl (implements org.eclipse.emf.ecore.resource.impl.BinaryResourceImpl.DataConverter.Factory, org.eclipse.emf.ecore.EFactory)
- tools.refinery.language.model.problem.impl.ProblemFactoryImpl (implements tools.refinery.language.model.problem.ProblemFactory)
- org.eclipse.emf.ecore.impl.ENamedElementImpl (implements org.eclipse.emf.ecore.ENamedElement)
- org.eclipse.emf.ecore.impl.EPackageImpl (implements org.eclipse.emf.ecore.util.BasicExtendedMetaData.EPackageExtendedMetaData.Holder, org.eclipse.emf.ecore.EPackage)
- tools.refinery.language.model.problem.impl.ProblemPackageImpl (implements tools.refinery.language.model.problem.ProblemPackage)
- org.eclipse.emf.ecore.impl.EPackageImpl (implements org.eclipse.emf.ecore.util.BasicExtendedMetaData.EPackageExtendedMetaData.Holder, org.eclipse.emf.ecore.EPackage)
- org.eclipse.emf.ecore.impl.EFactoryImpl (implements org.eclipse.emf.ecore.resource.impl.BinaryResourceImpl.DataConverter.Factory, org.eclipse.emf.ecore.EFactory)
- tools.refinery.language.model.problem.impl.EnumDeclarationImpl (implements tools.refinery.language.model.problem.EnumDeclaration)
- tools.refinery.language.model.problem.impl.ExprImpl (implements tools.refinery.language.model.problem.Expr)
- tools.refinery.language.model.problem.impl.AggregationExprImpl (implements tools.refinery.language.model.problem.AggregationExpr)
- tools.refinery.language.model.problem.impl.AtomImpl (implements tools.refinery.language.model.problem.Atom)
- tools.refinery.language.model.problem.impl.BinaryExprImpl (implements tools.refinery.language.model.problem.BinaryExpr)
- tools.refinery.language.model.problem.impl.ArithmeticBinaryExprImpl (implements tools.refinery.language.model.problem.ArithmeticBinaryExpr)
- tools.refinery.language.model.problem.impl.AssignmentExprImpl (implements tools.refinery.language.model.problem.AssignmentExpr)
- tools.refinery.language.model.problem.impl.ComparisonExprImpl (implements tools.refinery.language.model.problem.ComparisonExpr)
- tools.refinery.language.model.problem.impl.LatticeBinaryExprImpl (implements tools.refinery.language.model.problem.LatticeBinaryExpr)
- tools.refinery.language.model.problem.impl.RangeExprImpl (implements tools.refinery.language.model.problem.RangeExpr)
- tools.refinery.language.model.problem.impl.CastExprImpl (implements tools.refinery.language.model.problem.CastExpr)
- tools.refinery.language.model.problem.impl.ConstantImpl (implements tools.refinery.language.model.problem.Constant)
- tools.refinery.language.model.problem.impl.InfiniteConstantImpl (implements tools.refinery.language.model.problem.InfiniteConstant)
- tools.refinery.language.model.problem.impl.IntConstantImpl (implements tools.refinery.language.model.problem.IntConstant)
- tools.refinery.language.model.problem.impl.LogicConstantImpl (implements tools.refinery.language.model.problem.LogicConstant)
- tools.refinery.language.model.problem.impl.RealConstantImpl (implements tools.refinery.language.model.problem.RealConstant)
- tools.refinery.language.model.problem.impl.StringConstantImpl (implements tools.refinery.language.model.problem.StringConstant)
- tools.refinery.language.model.problem.impl.UnaryExprImpl (implements tools.refinery.language.model.problem.UnaryExpr)
- tools.refinery.language.model.problem.impl.ArithmeticUnaryExprImpl (implements tools.refinery.language.model.problem.ArithmeticUnaryExpr)
- tools.refinery.language.model.problem.impl.ModalExprImpl (implements tools.refinery.language.model.problem.ModalExpr)
- tools.refinery.language.model.problem.impl.VariableOrNodeExprImpl (implements tools.refinery.language.model.problem.VariableOrNodeExpr)
- tools.refinery.language.model.problem.impl.FunctionDefinitionImpl (implements tools.refinery.language.model.problem.FunctionDefinition)
- tools.refinery.language.model.problem.impl.ImportStatementImpl (implements tools.refinery.language.model.problem.ImportStatement)
- tools.refinery.language.model.problem.impl.MultiplicityImpl (implements tools.refinery.language.model.problem.Multiplicity)
- tools.refinery.language.model.problem.impl.ExactMultiplicityImpl (implements tools.refinery.language.model.problem.ExactMultiplicity)
- tools.refinery.language.model.problem.impl.RangeMultiplicityImpl (implements tools.refinery.language.model.problem.RangeMultiplicity)
- tools.refinery.language.model.problem.impl.UnboundedMultiplicityImpl (implements tools.refinery.language.model.problem.UnboundedMultiplicity)
- tools.refinery.language.model.problem.impl.NamedElementImpl (implements tools.refinery.language.model.problem.NamedElement)
- tools.refinery.language.model.problem.impl.ProblemImpl (implements tools.refinery.language.model.problem.Problem)
- tools.refinery.language.model.problem.impl.RelationImpl (implements tools.refinery.language.model.problem.Relation)
- tools.refinery.language.model.problem.impl.DatatypeDeclarationImpl (implements tools.refinery.language.model.problem.DatatypeDeclaration)
- tools.refinery.language.model.problem.impl.ReferenceDeclarationImpl (implements tools.refinery.language.model.problem.ReferenceDeclaration)
- tools.refinery.language.model.problem.impl.VariableOrNodeImpl (implements tools.refinery.language.model.problem.VariableOrNode)
- tools.refinery.language.model.problem.impl.NodeImpl (implements tools.refinery.language.model.problem.Node)
- tools.refinery.language.model.problem.impl.VariableImpl (implements tools.refinery.language.model.problem.Variable)
- tools.refinery.language.model.problem.impl.ImplicitVariableImpl (implements tools.refinery.language.model.problem.ImplicitVariable)
- tools.refinery.language.model.problem.impl.ParameterImpl (implements tools.refinery.language.model.problem.Parameter)
- tools.refinery.language.model.problem.impl.NodeDeclarationImpl (implements tools.refinery.language.model.problem.NodeDeclaration)
- tools.refinery.language.model.problem.impl.PredicateDefinitionImpl (implements tools.refinery.language.model.problem.PredicateDefinition)
- tools.refinery.language.model.problem.impl.QuantifiedUnaryExprImpl (implements tools.refinery.language.model.problem.QuantifiedUnaryExpr)
- tools.refinery.language.model.problem.impl.CountExprImpl (implements tools.refinery.language.model.problem.CountExpr)
- tools.refinery.language.model.problem.impl.NegationExprImpl (implements tools.refinery.language.model.problem.NegationExpr)
- tools.refinery.language.model.problem.impl.RuleDefinitionImpl (implements tools.refinery.language.model.problem.RuleDefinition)
- tools.refinery.language.model.problem.impl.ScopeDeclarationImpl (implements tools.refinery.language.model.problem.ScopeDeclaration)
- tools.refinery.language.model.problem.impl.TypeScopeImpl (implements tools.refinery.language.model.problem.TypeScope)
- org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
- org.eclipse.emf.ecore.impl.MinimalEObjectImpl (implements org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder)
- org.eclipse.emf.common.notify.impl.NotifierImpl
- org.eclipse.emf.ecore.resource.impl.ResourceImpl (implements org.eclipse.emf.ecore.resource.Resource, org.eclipse.emf.ecore.resource.Resource.Internal)
- org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl (implements org.eclipse.emf.ecore.xmi.XMLResource)
- org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl (implements org.eclipse.emf.ecore.xmi.XMIResource)
- tools.refinery.language.model.problem.util.ProblemResourceImpl
- org.eclipse.emf.ecore.xmi.impl.XMIResourceImpl (implements org.eclipse.emf.ecore.xmi.XMIResource)
- org.eclipse.emf.ecore.xmi.impl.XMLResourceImpl (implements org.eclipse.emf.ecore.xmi.XMLResource)
- org.eclipse.emf.ecore.resource.impl.ResourceImpl (implements org.eclipse.emf.ecore.resource.Resource, org.eclipse.emf.ecore.resource.Resource.Internal)
- org.eclipse.emf.ecore.impl.BasicEObjectImpl (implements org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject)
- org.eclipse.emf.ecore.resource.impl.ResourceFactoryImpl (implements org.eclipse.emf.ecore.resource.Resource.Factory)
- tools.refinery.language.model.problem.util.ProblemResourceFactoryImpl
- org.eclipse.emf.ecore.util.Switch<T>
- tools.refinery.language.model.problem.util.ProblemSwitch<T>
- org.eclipse.emf.common.notify.impl.AdapterFactoryImpl (implements org.eclipse.emf.common.notify.AdapterFactory)
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)