Hierarchy For All Packages

Package Hierarchies:

• tools.refinery.generator,
• tools.refinery.generator.impl,
• tools.refinery.generator.standalone

Class Hierarchy

• java.lang.Object
  • tools.refinery.generator.impl.CancellableCancellationToken (implements tools.refinery.store.util.CancellationToken)
  • tools.refinery.generator.impl.FilteredInterpretation<A,C> (implements tools.refinery.store.reasoning.interpretation.PartialInterpretation<A,C>)
  • tools.refinery.generator.ModelFacadeFactory<T>
    • tools.refinery.generator.ModelGeneratorFactory
    • tools.refinery.generator.ModelSemanticsFactory
  • tools.refinery.generator.impl.ModelFacadeImpl (implements tools.refinery.generator.ModelFacade)
    • tools.refinery.generator.impl.ConcreteModelFacade
      • tools.refinery.generator.impl.ConcreteModelSemantics (implements tools.refinery.generator.ModelSemantics)
      • tools.refinery.generator.impl.ModelGeneratorImpl (implements tools.refinery.generator.ModelGenerator)
    • tools.refinery.generator.impl.ModelSemanticsImpl (implements tools.refinery.generator.ModelSemantics)
  • tools.refinery.generator.ModelFacadeResult.Success (implements tools.refinery.generator.ModelFacadeResult)
  • tools.refinery.generator.ProblemLoader
  • tools.refinery.generator.RefineryDiagnostics
  • tools.refinery.generator.standalone.StandaloneRefinery
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • tools.refinery.generator.GeneratorTimeoutException
        • java.lang.IllegalArgumentException
          • tools.refinery.generator.InvalidProblemException
          • tools.refinery.generator.InvalidScopeConstraintException
        • tools.refinery.generator.UnsatisfiableProblemException

Interface Hierarchy

• java.lang.AutoCloseable
  • tools.refinery.generator.ModelFacade
    • tools.refinery.generator.ModelGenerator
    • tools.refinery.generator.ModelSemantics
• tools.refinery.generator.ConsistencyCheckResult.AnyError
• tools.refinery.generator.ModelFacadeResult
  • tools.refinery.generator.ModelFacadeResult.Rejected

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • tools.refinery.generator.GeneratorResult

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.generator.impl.ConcreteModelFacade.Args
    • tools.refinery.generator.ConsistencyCheckResult
    • tools.refinery.generator.ConsistencyCheckResult.Error<A,C> (implements tools.refinery.generator.ConsistencyCheckResult.AnyError)
    • tools.refinery.generator.impl.ModelFacadeImpl.Args
    • tools.refinery.generator.ModelFacadeResult.ConcretizationRejected (implements tools.refinery.generator.ModelFacadeResult.Rejected)
    • tools.refinery.generator.ModelFacadeResult.PropagationRejected (implements tools.refinery.generator.ModelFacadeResult.Rejected)