Class CompleteReasoner


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

    • CompleteReasoner

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