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)	The resulting CandidateGenerator 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 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)	The resulting CandidateGenerator only computes two-valued models which are extensions of the defined prefix.
static CandidateGenerator	ConflictFreeGenerator.unrestricted(AbstractDialecticalFramework adf, PropositionalMapping mapping, Supplier<SatSolverState> stateSupplier)	The resulting CandidateGenerator 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)	The resulting CandidateGenerator 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.

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

Modifier	Constructor	Description
	AbstractCandidateGenerator(Supplier<SatSolverState> stateSupplier)

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)
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)
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

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)
	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

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

Modifier and Type	Method	Description
SatSolverState	IncrementalSatSolver.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)