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

Packages that use SatSolverState

Package	Description
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.sat

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

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

Modifier and Type	Method	Description
SatSolverState	SatReasonerContext.getSolverState()

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

Constructor	Description
SatReasonerContext(SatEncodingContext encodingContext, IncrementalSatSolver solver, SatSolverState solverState)

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	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	SimpleIncrementalSatSolver.createState()