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

Packages that use SatSolverState

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

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

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

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

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

Modifier and Type	Method	Description
abstract net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>	IncrementalSatSolver.getWitness(SatSolverState state)
net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>	NativeLingelingSolver.getWitness(SatSolverState state)
abstract boolean	IncrementalSatSolver.isSatisfiable(SatSolverState state)
boolean	NativeLingelingSolver.isSatisfiable(SatSolverState state)