Class NaiveReasoner


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

    • NaiveReasoner

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