Hierarchy For Package tools.refinery.generator.impl

Package Hierarchies:

• All Packages

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.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)

Record Class Hierarchy

• java.lang.Object
  • java.lang.Record
    • tools.refinery.generator.impl.ConcreteModelFacade.Args
    • tools.refinery.generator.impl.ModelFacadeImpl.Args