Uses of Interface
net.sf.tweety.arg.adf.sat.SatSolverState

Packages that use SatSolverState

Package	Description
net.sf.tweety.arg.adf.reasoner.sat.generator
net.sf.tweety.arg.adf.reasoner.sat.processor
net.sf.tweety.arg.adf.reasoner.sat.verifier
net.sf.tweety.arg.adf.sat

Uses of SatSolverState in net.sf.tweety.arg.adf.reasoner.sat.generator

Methods in net.sf.tweety.arg.adf.reasoner.sat.generator with parameters of type SatSolverState

Modifier and Type	Method	Description
Interpretation	CandidateGenerator.generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Does not return the same candidate on two calls on the same instance.
Interpretation	ConflictFreeGenerator.generate(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Interpretation	GroundGenerator.generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation	ModelGenerator.generate(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
void	CandidateGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Performs initializations on the state.
void	ConflictFreeGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	GroundGenerator.initialize(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	ModelGenerator.initialize(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)

Uses of SatSolverState in net.sf.tweety.arg.adf.reasoner.sat.processor

Methods in net.sf.tweety.arg.adf.reasoner.sat.processor with parameters of type SatSolverState

Modifier and Type	Method	Description
Interpretation	InterpretationProcessor.process(SatSolverState mainState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)	Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.
void	KBipolarStateProcessor.process(SatSolverState state, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)
Interpretation	MaximizeInterpretationProcessor.process(SatSolverState processingState, SatSolverState verificationState, PropositionalMapping mapping, Interpretation interpretation, AbstractDialecticalFramework adf)
void	RelativeKBipolarStateProcessor.process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	StateProcessor.process(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	InterpretationProcessor.updateState(SatSolverState state, PropositionalMapping mapping, Interpretation processed, AbstractDialecticalFramework adf)	This method is called by the Pipeline on the shared state and the result of the process method, hence after the processing is done.
void	MaximizeInterpretationProcessor.updateState(SatSolverState state, PropositionalMapping mapping, Interpretation maximal, AbstractDialecticalFramework adf)

Uses of SatSolverState in net.sf.tweety.arg.adf.reasoner.sat.verifier

Methods in net.sf.tweety.arg.adf.reasoner.sat.verifier with parameters of type SatSolverState

Modifier and Type	Method	Description
boolean	AdmissibleVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	CompleteVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	GrounderStableVerifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
boolean	Verifier.postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)	Gets called after every verify call.
void	AdmissibleVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	CompleteVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	GrounderStableVerifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void	Verifier.prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)	Gets called exactly once for each SatSolverState before the first use in verify.
boolean	AdmissibleVerifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	CompleteVerifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	GrounderStableVerifier.verify(SatSolverState state, PropositionalMapping encodingContext, Interpretation candidate, AbstractDialecticalFramework adf)
boolean	Verifier.verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)	Gets called by the Pipeline to verify if the computed candidate Interpretation asserts a certain property.

Uses of SatSolverState in net.sf.tweety.arg.adf.sat

Classes in net.sf.tweety.arg.adf.sat that implement SatSolverState

Modifier and Type	Class	Description
class	AsynchronousCloseSatSolverState	The cleanup after the AsynchronousCloseSatSolverState.close() call happens (possibly) in a separate thread, depending on the provided executor.
class	AsynchronousSatSolverState	Executes all operations of the underlying SatSolverState in a (possibly) separate thread, determined by the provided ExecutorService.
class	SimpleSatSolverState	A dummy state that can be used in combination with non-incremental Sat-Solvers and SimpleIncrementalSatSolver at positions where a SatSolverState is required.

Methods in net.sf.tweety.arg.adf.sat that return SatSolverState

Modifier and Type	Method	Description
abstract SatSolverState	IncrementalSatSolver.createState()
SatSolverState	NativeLingelingSolver.createState()
SatSolverState	NativeMinisatSolver.createState()
SatSolverState	NativePicosatSolver.createState()
SatSolverState	SimpleIncrementalSatSolver.createState()

Constructors in net.sf.tweety.arg.adf.sat with parameters of type SatSolverState

Constructor	Description
AsynchronousCloseSatSolverState(SatSolverState delegate, java.util.concurrent.Executor executor)
AsynchronousSatSolverState(SatSolverState delegate)
AsynchronousSatSolverState(SatSolverState delegate, java.util.concurrent.ExecutorService executor)