Uses of Interface
org.tweetyproject.arg.adf.sat.IncrementalSatSolver
Package
Description
-
Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.reasoner
ModifierConstructorDescriptionDeprecated, for removal: This API element is subject to removal in a future version.AdmissibleReasoner(IncrementalSatSolver solver)
Deprecated, for removal: This API element is subject to removal in a future version.CompleteReasoner(IncrementalSatSolver solver)
Deprecated, for removal: This API element is subject to removal in a future version.ConflictFreeReasoner(IncrementalSatSolver solver)
Deprecated, for removal: This API element is subject to removal in a future version.GroundReasoner(IncrementalSatSolver solver)
Deprecated, for removal: This API element is subject to removal in a future version.ModelReasoner(IncrementalSatSolver solver)
Deprecated, for removal: This API element is subject to removal in a future version.NaiveReasoner(IncrementalSatSolver solver)
Deprecated, for removal: This API element is subject to removal in a future version.PreferredReasoner(IncrementalSatSolver solver)
Deprecated, for removal: This API element is subject to removal in a future version.StableReasoner(IncrementalSatSolver solver)
Deprecated, for removal: This API element is subject to removal in a future version. -
Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionConfiguration.Builder.setSatSolver(IncrementalSatSolver satSolver)
ModifierConstructorDescriptionParallelExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver, int parallelism)
SequentialExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver)
-
Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.sat.solver
Modifier and TypeClassDescriptionclass
Experimental lingeling bindingclass
class
class
A decorator which provides a pool of pre computedSatSolverState
.Modifier and TypeMethodDescriptionPooledIncrementalSatSolver.builder(IncrementalSatSolver satSolver)
-
Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.semantics.link