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.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.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.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
(Semantics semantics, IncrementalSatSolver satSolver, int parallelism) SequentialExecution
(Semantics semantics, IncrementalSatSolver satSolver) -
Uses of IncrementalSatSolver in org.tweetyproject.arg.adf.sat.solver
Modifier and TypeClassDescriptionfinal class
Experimental lingeling bindingfinal class
final class
final 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