Class GroundReasoner


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

    • GroundReasoner

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