Uses of Interface
org.tweetyproject.arg.adf.sat.SatSolverState
-
-
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.generator
-
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.processor
Methods in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type SatSolverState Modifier and Type Method Description Interpretation
InterpretationProcessor. process(SatSolverState mainState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.void
KBipolarStateProcessor. process(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation
MaximizeInterpretationProcessor. process(SatSolverState processingState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
void
RelativeKBipolarStateProcessor. process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
StateProcessor. process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
InterpretationProcessor. updateState(SatSolverState state, PropositionalMapping mapping, Interpretation processed, AbstractDialecticalFramework adf)
void
MaximizeInterpretationProcessor. updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)
-
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.verifier
-
Uses of SatSolverState in org.tweetyproject.arg.adf.sat
Classes in org.tweetyproject.arg.adf.sat that implement SatSolverState Modifier and Type Class Description class
AsynchronousCloseSatSolverState
The cleanup after theAsynchronousCloseSatSolverState.close()
call happens (possibly) in a separate thread, depending on the provided executor.class
AsynchronousSatSolverState
Executes all operations of the underlyingSatSolverState
in a (possibly) separate thread, determined by the providedExecutorService
.Methods in org.tweetyproject.arg.adf.sat that return SatSolverState Modifier and Type Method Description SatSolverState
IncrementalSatSolver. createState()
SatSolverState
NativeLingelingSolver. createState()
SatSolverState
NativeMinisatSolver. createState()
SatSolverState
NativePicosatSolver. createState()
SatSolverState
SatSolverStatePool. reusable()
SatSolverState
SatSolverStatePool. usableOnce()
Constructors in org.tweetyproject.arg.adf.sat with parameters of type SatSolverState Constructor Description AsynchronousCloseSatSolverState(SatSolverState delegate, java.util.concurrent.Executor executor)
AsynchronousSatSolverState(SatSolverState delegate)
AsynchronousSatSolverState(SatSolverState delegate, java.util.concurrent.ExecutorService executor)
-