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 with parameters of type SatSolverState
Modifier and Type	Method	Description
`private Interpretation`	AdmissibleInterpretationReasoner.`existsAdm(AbstractDialecticalFramework adf, Interpretation interpretation, SatSolverState state, SatEncoding enc)`

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 class`	`NativeLingelingSolver.LingelingSolverState`

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 Interpretation<PlBeliefSet,PlFormula>`	IncrementalSatSolver.`getWitness(SatSolverState state)`
`Interpretation<PlBeliefSet,PlFormula>`	NativeLingelingSolver.`getWitness(SatSolverState state)`
`abstract boolean`	IncrementalSatSolver.`isSatisfiable(SatSolverState state)`
`boolean`	NativeLingelingSolver.`isSatisfiable(SatSolverState state)`