Class AdmissibleReasoner


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

    • AdmissibleReasoner

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