Uses of Interface
org.tweetyproject.arg.adf.sat.SatSolverState

Packages that use SatSolverState

Package	Description
org.tweetyproject.arg.adf.reasoner.sat.execution
org.tweetyproject.arg.adf.reasoner.sat.generator
org.tweetyproject.arg.adf.reasoner.sat.processor
org.tweetyproject.arg.adf.reasoner.sat.verifier
org.tweetyproject.arg.adf.sat
org.tweetyproject.arg.adf.sat.solver
org.tweetyproject.arg.adf.sat.state

Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.execution

Method parameters in org.tweetyproject.arg.adf.reasoner.sat.execution with type arguments of type SatSolverState

Modifier and Type	Method	Description
CandidateGenerator	Semantics.createCandidateGenerator(Supplier<SatSolverState> stateSupplier)
Optional<InterpretationProcessor>	Semantics.createUnverifiedProcessor(Supplier<SatSolverState> stateSupplier)	Is applied to interpretations before they are verified.
Optional<InterpretationProcessor>	Semantics.createVerifiedProcessor(Supplier<SatSolverState> stateSupplier)	Is applied to interpretations after they are verified.
Optional<Verifier>	Semantics.createVerifier(Supplier<SatSolverState> stateSupplier)	Creates a verifier, which acts as a filter.

Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.generator

Methods in org.tweetyproject.arg.adf.reasoner.sat.generator with parameters of type SatSolverState

Modifier and Type	Method	Description
Interpretation	ConflictFreeGenerator.generate(SatSolverState state)
Interpretation	GroundGenerator.generate(SatSolverState state)
Interpretation	ModelGenerator.generate(SatSolverState state)
void	GroundGenerator.prepare(SatSolverState state)

Method parameters in org.tweetyproject.arg.adf.reasoner.sat.generator with type arguments of type SatSolverState

Modifier and Type	Method	Description
static CandidateGenerator	ConflictFreeGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation partial, Supplier<SatSolverState> stateSupplier)	Creates a CandidateGenerator that computes conflict-free interpretations which are extensions of the provided partial interpretation.
static CandidateGenerator	GroundGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator only computes the ground interpretation if it extends the given prefix.
static CandidateGenerator	ModelGenerator.restricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Interpretation prefix, Supplier<SatSolverState> stateSupplier)	Creates a CandidateGenerator that computes two-valued model interpretations which are extensions of the provided prefix (partial interpretation).
static CandidateGenerator	ConflictFreeGenerator.unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	Creates a CandidateGenerator that computes all conflict-free interpretations.
static CandidateGenerator	GroundGenerator.unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator computes the ground interpretation.
static CandidateGenerator	ModelGenerator.unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	Creates a CandidateGenerator that computes all two-valued model interpretations.
void	AbstractCandidateGenerator.update(Consumer<SatSolverState> updateFunction)	Updates the SAT solver state by applying the provided update function.
void	CandidateGenerator.update(Consumer<SatSolverState> updateFunction)	Updates the internal state of the generator using the provided update function.

Constructor parameters in org.tweetyproject.arg.adf.reasoner.sat.generator with type arguments of type SatSolverState

Modifier	Constructor	Description
	AbstractCandidateGenerator(Supplier<SatSolverState> stateSupplier)	Constructs an AbstractCandidateGenerator with the given state supplier.

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
void	AdmissibleMaximizer.updateState(SatSolverState state, Interpretation maximal)
void	ConflictFreeMaximizer.updateState(SatSolverState state, Interpretation maximal)	Updates the SAT solver state to prevent smaller interpretations from being computed in the future.
void	InterpretationProcessor.updateState(SatSolverState state, Interpretation processed)

Method parameters in org.tweetyproject.arg.adf.reasoner.sat.processor with type arguments of type SatSolverState

Modifier and Type	Method	Description
static 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)	Creates and returns a restricted InterpretationProcessor that maximizes interpretations based on a given partial interpretation (prefix).
static InterpretationProcessor	AdmissibleMaximizer.unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
static InterpretationProcessor	ConflictFreeMaximizer.unrestricted(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)	Creates and returns an unrestricted InterpretationProcessor that maximizes interpretations without any restrictions on the partial interpretation.

Uses of SatSolverState in org.tweetyproject.arg.adf.reasoner.sat.verifier

Constructor parameters in org.tweetyproject.arg.adf.reasoner.sat.verifier with type arguments of type SatSolverState

Modifier	Constructor	Description
	CompleteVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)	Constructs a CompleteVerifier with the given SAT solver state supplier, abstract dialectical framework, and propositional mapping.
	NaiveVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)
	PreferredVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)	Constructs a PreferredVerifier with the given SAT solver state supplier, abstract dialectical framework, and propositional mapping.
	StableVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)

Uses of SatSolverState in org.tweetyproject.arg.adf.sat

Methods in org.tweetyproject.arg.adf.sat that return SatSolverState

Modifier and Type	Method	Description
SatSolverState	IncrementalSatSolver.createState()	Return createState

Uses of SatSolverState in org.tweetyproject.arg.adf.sat.solver

Methods in org.tweetyproject.arg.adf.sat.solver that return SatSolverState

Modifier and Type	Method	Description
SatSolverState	NativeLingelingSolver.createState()
SatSolverState	NativeMinisatSolver.createState()
SatSolverState	NativePicosatSolver.createState()
SatSolverState	PooledIncrementalSatSolver.createState()

Method parameters in org.tweetyproject.arg.adf.sat.solver with type arguments of type SatSolverState

Modifier and Type	Method	Description
PooledIncrementalSatSolver.Builder	PooledIncrementalSatSolver.Builder.setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)
PooledIncrementalSatSolver.Builder	PooledIncrementalSatSolver.Builder.setStateDecorator(Function<SatSolverState,SatSolverState> stateDecorator)

Uses of SatSolverState in org.tweetyproject.arg.adf.sat.state

Classes in org.tweetyproject.arg.adf.sat.state that implement SatSolverState

Modifier and Type	Class	Description
class	AsynchronousCloseSatSolverState	The AsynchronousCloseSatSolverState.close() call is handled by the provided executor.
final class	SynchronizedSatSolverState	A synchronized wrapper of SatSolverState.

Constructors in org.tweetyproject.arg.adf.sat.state with parameters of type SatSolverState

Modifier	Constructor	Description
	AsynchronousCloseSatSolverState(SatSolverState delegate, Executor executor)
	SynchronizedSatSolverState(SatSolverState delegate)