Uses of Interface
org.tweetyproject.arg.adf.sat.SatSolverState
Package
Description
-
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionSemantics.createCandidateProcessor(Supplier<SatSolverState> stateSupplier)
Semantics.createModelProcessors(Supplier<SatSolverState> stateSupplier)
Semantics.createVerifier(Supplier<SatSolverState> stateSupplier)
-
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeMethodDescriptionCandidateGenerator.generate(SatSolverState state)
Does not return the same candidate on two calls on the same instance.ConflictFreeGenerator.generate(SatSolverState state)
GroundGenerator.generate(SatSolverState state)
ModelGenerator.generate(SatSolverState state)
-
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.processor
Modifier and TypeMethodDescriptionvoid
AdmissibleMaximizer.updateState(SatSolverState state, Interpretation maximal)
void
ConflictFreeMaximizer.updateState(SatSolverState state, Interpretation maximal)
void
InterpretationProcessor.updateState(SatSolverState state, Interpretation processed)
Modifier and TypeMethodDescriptionstatic InterpretationProcessor
AdmissibleMaximizer.withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
ConflictFreeMaximizer.withoutPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor
AdmissibleMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, AbstractDialecticalFramework reduct, PropositionalMapping mapping, Interpretation prefix)
static InterpretationProcessor
ConflictFreeMaximizer.withPrefix(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix)
-
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.verifier
ModifierConstructorDescriptionAdmissibleVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
CompleteVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
GrounderStableVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
NaiveVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
-
Uses of SatSolverState in org.tweetyproject.arg.adf.sat
-
Uses of SatSolverState in org.tweetyproject.arg.adf.sat.solver
Modifier and TypeMethodDescriptionNativeLingelingSolver.createState()
NativeMinisatSolver.createState()
NativePicosatSolver.createState()
PooledIncrementalSatSolver.createState()
Modifier and TypeMethodDescriptionPooledIncrementalSatSolver.Builder.setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)
PooledIncrementalSatSolver.Builder.setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)
-
Uses of SatSolverState in org.tweetyproject.arg.adf.sat.state
Modifier and TypeClassDescriptionclass
TheAsynchronousCloseSatSolverState.close()
call is handled by the provided executor.class
A synchronized wrapper ofSatSolverState
.ModifierConstructorDescriptionAsynchronousCloseSatSolverState(SatSolverState delegate, Executor executor)
SynchronizedSatSolverState(SatSolverState delegate)