Hierarchy For All Packages

Package Hierarchies:

• tools.refinery.language.semantics,
• tools.refinery.language.semantics.internal,
• tools.refinery.language.semantics.internal.query,
• tools.refinery.language.semantics.metadata

Class Hierarchy

• java.lang.Object
  • tools.refinery.language.semantics.internal.DecisionTreeValue.Unset<A,C> (implements tools.refinery.language.semantics.internal.DecisionTreeValue<A,C>)
  • tools.refinery.language.semantics.internal.query.FunctionCompiler
  • tools.refinery.language.semantics.metadata.MetadataCreator
  • tools.refinery.language.semantics.ModelInitializer
  • tools.refinery.language.semantics.internal.MutableRelationCollector
  • tools.refinery.language.semantics.metadata.NodeMetadataFactory
  • tools.refinery.language.semantics.NodeNameProvider
  • tools.refinery.language.semantics.internal.query.QueryCompiler
  • tools.refinery.language.semantics.internal.query.RuleCompiler
  • tools.refinery.language.semantics.SemanticsUtils
  • tools.refinery.language.semantics.SolutionSerializer
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • tools.refinery.language.semantics.TracedException

Interface Hierarchy

• tools.refinery.language.semantics.internal.DecisionTreeValue<A,C>
• tools.refinery.language.semantics.metadata.Metadata
• tools.refinery.language.semantics.ProblemTrace
• tools.refinery.language.semantics.metadata.RelationDetail
• tools.refinery.store.reasoning.seed.Seed<T>
  • tools.refinery.language.semantics.internal.MutableSeed<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.language.semantics.metadata.FunctionDetailKind
    • tools.refinery.language.semantics.metadata.NodeKind
    • tools.refinery.language.semantics.metadata.PredicateDetailKind

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.language.semantics.internal.DecisionTreeValue.Some<A,C> (implements tools.refinery.language.semantics.internal.DecisionTreeValue<A,C>)
    • tools.refinery.language.semantics.metadata.NodeMetadata (implements tools.refinery.language.semantics.metadata.Metadata)
    • tools.refinery.language.semantics.metadata.NodesMetadata
    • tools.refinery.language.semantics.metadata.RelationDetail.Attribute (implements tools.refinery.language.semantics.metadata.RelationDetail)
    • tools.refinery.language.semantics.metadata.RelationDetail.Class (implements tools.refinery.language.semantics.metadata.RelationDetail)
    • tools.refinery.language.semantics.metadata.RelationDetail.Computed (implements tools.refinery.language.semantics.metadata.RelationDetail)
    • tools.refinery.language.semantics.metadata.RelationDetail.Domain (implements tools.refinery.language.semantics.metadata.RelationDetail)
    • tools.refinery.language.semantics.metadata.RelationDetail.Function (implements tools.refinery.language.semantics.metadata.RelationDetail)
    • tools.refinery.language.semantics.metadata.RelationDetail.Opposite (implements tools.refinery.language.semantics.metadata.RelationDetail)
    • tools.refinery.language.semantics.metadata.RelationDetail.Predicate (implements tools.refinery.language.semantics.metadata.RelationDetail)
    • tools.refinery.language.semantics.metadata.RelationDetail.Reference (implements tools.refinery.language.semantics.metadata.RelationDetail)
    • tools.refinery.language.semantics.metadata.RelationMetadata (implements tools.refinery.language.semantics.metadata.Metadata)