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.createCandidateGenerator
(Supplier<SatSolverState> stateSupplier) Semantics.createUnverifiedProcessor
(Supplier<SatSolverState> stateSupplier) Is applied to interpretations before they are verified.Semantics.createVerifiedProcessor
(Supplier<SatSolverState> stateSupplier) Is applied to interpretations after they are verified.Semantics.createVerifier
(Supplier<SatSolverState> stateSupplier) Creates a verifier, which acts as a filter. -
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.generator
Modifier and TypeMethodDescriptionConflictFreeGenerator.generate
(SatSolverState state) GroundGenerator.generate
(SatSolverState state) ModelGenerator.generate
(SatSolverState state) void
GroundGenerator.prepare
(SatSolverState state) Modifier and TypeMethodDescriptionstatic CandidateGenerator
ConflictFreeGenerator.restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
only computes conflict free interpretations which are extensions of the defined partial interpretation.static CandidateGenerator
GroundGenerator.restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
only computes the ground interpretation if it extends the given prefix.static CandidateGenerator
ModelGenerator.restricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
only computes two-valued models which are extensions of the defined prefix.static CandidateGenerator
ConflictFreeGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes all conflict free interpretations.static CandidateGenerator
GroundGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes the ground interpretation.static CandidateGenerator
ModelGenerator.unrestricted
(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier) The resultingCandidateGenerator
computes all two-valued model interpretations.void
AbstractCandidateGenerator.update
(Consumer<SatSolverState> updateFunction) void
CandidateGenerator.update
(Consumer<SatSolverState> updateFunction) Updates the internal state of the generator with the provided function. -
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.restricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) static InterpretationProcessor
ConflictFreeMaximizer.restricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix) static InterpretationProcessor
AdmissibleMaximizer.unrestricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) static InterpretationProcessor
ConflictFreeMaximizer.unrestricted
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) -
Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.verifier
ModifierConstructorDescriptionCompleteVerifier
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) NaiveVerifier
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) PreferredVerifier
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) StableVerifier
(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.final class
A synchronized wrapper ofSatSolverState
.ModifierConstructorDescriptionAsynchronousCloseSatSolverState
(SatSolverState delegate, Executor executor) SynchronizedSatSolverState
(SatSolverState delegate)