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)
-