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