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

Packages that use SatSolverState

Package	Description
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

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, 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 mapping, 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 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
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 org.tweetyproject.arg.adf.reasoner.sat.verifier

Methods in org.tweetyproject.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 org.tweetyproject.arg.adf.sat

Classes in org.tweetyproject.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.

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

Modifier and Type	Method	Description
SatSolverState	IncrementalSatSolver.createState()
SatSolverState	NativeLingelingSolver.createState()
SatSolverState	NativeMinisatSolver.createState()
SatSolverState	NativePicosatSolver.createState()
SatSolverState	SatSolverStatePool.reusable()
SatSolverState	SatSolverStatePool.usableOnce()

Constructors in org.tweetyproject.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)