Class ModelReasoner


@Deprecated(forRemoval=true, since="1.19") public class ModelReasoner extends AbstractDialecticalFrameworkReasoner
Deprecated, for removal: This API element is subject to removal in a future version.
Author:
Mathias Hofer
  • Constructor Details

    • ModelReasoner

      public ModelReasoner(IncrementalSatSolver solver)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Parameters:
      solver - solver