Hierarchy For Package tools.refinery.generator

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • tools.refinery.generator.ModelFacadeFactory<T>
    • tools.refinery.generator.ModelGeneratorFactory
    • tools.refinery.generator.ModelSemanticsFactory
  • tools.refinery.generator.ModelFacadeResult.Success (implements tools.refinery.generator.ModelFacadeResult)
  • tools.refinery.generator.ProblemLoader
  • tools.refinery.generator.RefineryDiagnostics
  • 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.ConsistencyCheckResult
    • tools.refinery.generator.ConsistencyCheckResult.Error<A,C> (implements tools.refinery.generator.ConsistencyCheckResult.AnyError)
    • tools.refinery.generator.ModelFacadeResult.ConcretizationRejected (implements tools.refinery.generator.ModelFacadeResult.Rejected)
    • tools.refinery.generator.ModelFacadeResult.PropagationRejected (implements tools.refinery.generator.ModelFacadeResult.Rejected)