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
List<InterpretationProcessor>	Semantics.createCandidateProcessor(Supplier<SatSolverState> stateSupplier)
List<InterpretationProcessor>	Semantics.createModelProcessors(Supplier<SatSolverState> stateSupplier)
Optional<Verifier>	Semantics.createVerifier(Supplier<SatSolverState> stateSupplier)

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	CandidateGenerator.generate(SatSolverState state)	Does not return the same candidate on two calls on the same instance.
Interpretation	ConflictFreeGenerator.generate(SatSolverState state)
Interpretation	GroundGenerator.generate(SatSolverState state)
Interpretation	ModelGenerator.generate(SatSolverState state)

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

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

Modifier	Constructor	Description
	AdmissibleVerifier(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

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