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.reasoner.generator
net.sf.tweety.arg.adf.sat

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

Fields in net.sf.tweety.arg.adf.reasoner declared as SatSolverState

Modifier and Type	Field	Description
private SatSolverState	SatReasonerContext.solverState

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

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

Modifier and Type	Method	Description
private void	SatGroundGenerator.makeUnsat(SatSolverState state)

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
private static class	NativeLingelingSolver.LingelingSolverState
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()