Hierarchy For All Packages

Package Hierarchies:

• tools.refinery.store.reasoning,
• tools.refinery.store.reasoning.actions,
• tools.refinery.store.reasoning.internal,
• tools.refinery.store.reasoning.interpretation,
• tools.refinery.store.reasoning.lifting,
• tools.refinery.store.reasoning.literal,
• tools.refinery.store.reasoning.refinement,
• tools.refinery.store.reasoning.representation,
• tools.refinery.store.reasoning.seed,
• tools.refinery.store.reasoning.translator,
• tools.refinery.store.reasoning.translator.containment,
• tools.refinery.store.reasoning.translator.crossreference,
• tools.refinery.store.reasoning.translator.metamodel,
• tools.refinery.store.reasoning.translator.multiobject,
• tools.refinery.store.reasoning.translator.multiplicity,
• tools.refinery.store.reasoning.translator.opposite,
• tools.refinery.store.reasoning.translator.predicate,
• tools.refinery.store.reasoning.translator.proxy,
• tools.refinery.store.reasoning.translator.typehierarchy

Class Hierarchy

• java.lang.Object
  • tools.refinery.store.dse.transition.actions.AbstractActionLiteral (implements tools.refinery.store.dse.transition.actions.ActionLiteral)
    • tools.refinery.store.reasoning.actions.FocusActionLiteral
    • tools.refinery.store.reasoning.actions.MergeActionLiteral<A,C>
  • tools.refinery.logic.literal.AbstractLiteral (implements tools.refinery.logic.literal.Literal)
    • tools.refinery.logic.literal.AbstractCallLiteral
      • tools.refinery.logic.literal.AbstractCountLiteral<T>
        • tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral
        • tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral
        • tools.refinery.store.reasoning.literal.CountLowerBoundLiteral
        • tools.refinery.store.reasoning.literal.CountUpperBoundLiteral
  • tools.refinery.store.adapter.AbstractModelAdapterBuilder<T> (implements tools.refinery.store.adapter.ModelAdapterBuilder)
    • tools.refinery.store.reasoning.internal.ReasoningBuilderImpl (implements tools.refinery.store.reasoning.ReasoningBuilder)
  • tools.refinery.store.statecoding.neighborhood.AbstractNeighborhoodCalculator<T> (implements tools.refinery.store.statecoding.StateCodeCalculator)
    • tools.refinery.store.reasoning.interpretation.PartialNeighborhoodCalculator
  • tools.refinery.store.reasoning.interpretation.AbstractPartialInterpretation<A,C> (implements tools.refinery.store.reasoning.interpretation.PartialInterpretation<A,C>)
  • tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner<A,C> (implements tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner<A,C>)
    • tools.refinery.store.reasoning.refinement.AbstractPartialInterpretationRefiner.ConcretizationAware<A,C>
      • tools.refinery.store.reasoning.refinement.ConcreteRelationRefiner
      • tools.refinery.store.reasoning.translator.multiobject.ExistsRefiner
    • tools.refinery.store.reasoning.refinement.ConcreteSymbolRefiner<A,C>
    • tools.refinery.store.reasoning.translator.multiobject.EqualsRefiner
    • tools.refinery.store.reasoning.translator.opposite.OppositeRefiner<A,C>
  • tools.refinery.store.reasoning.translator.predicate.BasePredicateTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.translator.multiobject.CleanupPropagator (implements tools.refinery.store.dse.propagation.Propagator)
  • tools.refinery.store.reasoning.translator.containment.ContainerTypeInferenceTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.translator.containment.ContainmentHierarchyTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.refinement.DefaultStorageRefiner<T> (implements tools.refinery.store.reasoning.refinement.StorageRefiner)
  • tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.lifting.DnfLifter
  • tools.refinery.store.reasoning.translator.typehierarchy.InferredType
  • tools.refinery.store.reasoning.translator.multiplicity.InvalidMultiplicityErrorTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.translator.metamodel.MetamodelBuilder
  • tools.refinery.store.reasoning.translator.metamodel.MetamodelTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.seed.ModelSeed
  • tools.refinery.store.reasoning.seed.ModelSeed.Builder
  • tools.refinery.store.reasoning.translator.multiobject.MultiObjectTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.translator.opposite.OppositeRelationTranslator (implements tools.refinery.store.model.ModelStoreConfiguration, tools.refinery.store.reasoning.interpretation.PartialRelationRewriter)
  • tools.refinery.store.reasoning.actions.PartialActionLiterals
  • tools.refinery.store.reasoning.literal.PartialLiterals
  • tools.refinery.store.reasoning.translator.proxy.PartialRelationTranslatorProxy (implements tools.refinery.store.model.ModelStoreConfiguration, tools.refinery.store.reasoning.interpretation.PartialRelationRewriter)
  • tools.refinery.store.reasoning.translator.PartialSymbolTranslator<A,C> (implements tools.refinery.store.reasoning.translator.AnyPartialSymbolTranslator)
    • tools.refinery.store.reasoning.translator.PartialRelationTranslator
  • tools.refinery.store.reasoning.translator.predicate.PredicateTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.interpretation.QueryBasedRelationInterpretationFactory (implements tools.refinery.store.reasoning.interpretation.PartialInterpretation.Factory<A,C>)
  • tools.refinery.store.reasoning.interpretation.QueryBasedRelationRewriter (implements tools.refinery.store.reasoning.interpretation.PartialRelationRewriter)
  • tools.refinery.store.reasoning.translator.metamodel.ReferenceInfoBuilder
  • tools.refinery.store.reasoning.refinement.RefinementUtils
  • tools.refinery.store.reasoning.seed.Seed.Builder<T>
  • tools.refinery.store.reasoning.seed.SeedInitializer<T> (implements tools.refinery.store.reasoning.refinement.PartialModelInitializer)
  • tools.refinery.store.reasoning.translator.predicate.ShadowPredicateTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • tools.refinery.store.reasoning.translator.TranslationException
  • tools.refinery.store.reasoning.translator.TranslatorUtils
  • tools.refinery.store.reasoning.translator.typehierarchy.TypeAnalysisResult
  • tools.refinery.store.reasoning.refinement.TypeConstraintRefiner
  • tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchy
  • tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyBuilder
    • tools.refinery.store.reasoning.translator.metamodel.ContainedTypeHierarchyBuilder
  • tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyInitializer (implements tools.refinery.store.reasoning.refinement.PartialModelInitializer)
  • tools.refinery.store.reasoning.translator.typehierarchy.TypeHierarchyTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)
  • tools.refinery.store.reasoning.translator.multiplicity.UnconstrainedMultiplicity (implements tools.refinery.store.reasoning.translator.multiplicity.Multiplicity)
  • tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceTranslator (implements tools.refinery.store.model.ModelStoreConfiguration)

Interface Hierarchy

• tools.refinery.store.reasoning.interpretation.AnyPartialInterpretation
  • tools.refinery.store.reasoning.interpretation.PartialInterpretation<A,C>
• tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner
  • tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner<A,C>
• tools.refinery.store.reasoning.representation.AnyPartialSymbol
  • tools.refinery.store.reasoning.representation.AnyPartialFunction
  • tools.refinery.store.reasoning.representation.PartialSymbol<A,C>
• tools.refinery.store.adapter.ModelAdapter
  • tools.refinery.store.reasoning.ReasoningAdapter
• tools.refinery.store.adapter.ModelAdapterBuilder
  • tools.refinery.store.reasoning.ReasoningBuilder
• tools.refinery.store.adapter.ModelStoreAdapter
  • tools.refinery.store.reasoning.ReasoningStoreAdapter
• tools.refinery.store.model.ModelStoreConfiguration
  • tools.refinery.store.reasoning.translator.AnyPartialSymbolTranslator
• tools.refinery.store.reasoning.translator.multiplicity.Multiplicity
• tools.refinery.store.reasoning.interpretation.PartialInterpretation.Factory<A,C>
• tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner.Factory<A,C>
• tools.refinery.store.reasoning.refinement.PartialModelInitializer
• tools.refinery.store.reasoning.interpretation.PartialRelationRewriter
• tools.refinery.store.reasoning.seed.Seed<T>
• tools.refinery.store.reasoning.refinement.StorageRefiner
• tools.refinery.store.reasoning.refinement.StorageRefiner.Factory<T>

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • tools.refinery.store.reasoning.literal.Concreteness
    • tools.refinery.store.reasoning.literal.ConcretenessSpecification
    • tools.refinery.store.reasoning.literal.Modality
    • tools.refinery.store.reasoning.literal.ModalitySpecification
    • tools.refinery.store.reasoning.translator.RoundingMode

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.store.reasoning.translator.multiplicity.ConstrainedMultiplicity (implements tools.refinery.store.reasoning.translator.multiplicity.Multiplicity)
    • tools.refinery.store.reasoning.translator.containment.ContainmentInfo
    • tools.refinery.store.reasoning.translator.crossreference.DirectedCrossReferenceInfo
    • tools.refinery.store.reasoning.translator.metamodel.Metamodel
    • tools.refinery.store.reasoning.literal.ModalConstraint (implements tools.refinery.logic.Constraint)
    • tools.refinery.store.reasoning.representation.PartialFunction<A,C> (implements tools.refinery.store.reasoning.representation.AnyPartialFunction, tools.refinery.store.reasoning.representation.PartialSymbol<A,C>)
    • tools.refinery.store.reasoning.representation.PartialRelation (implements tools.refinery.logic.Constraint, tools.refinery.store.reasoning.representation.PartialSymbol<A,C>)
    • tools.refinery.store.reasoning.seed.PropagatedModel
    • tools.refinery.store.reasoning.translator.metamodel.ReferenceInfo
    • tools.refinery.store.reasoning.translator.typehierarchy.TypeInfo
    • tools.refinery.store.reasoning.translator.crossreference.UndirectedCrossReferenceInfo