Package net.sf.tweety.arg.adf.sat
Class NativeMinisatSolver
- java.lang.Object
-
- net.sf.tweety.logics.pl.sat.SatSolver
-
- net.sf.tweety.arg.adf.sat.IncrementalSatSolver
-
- net.sf.tweety.arg.adf.sat.NativeMinisatSolver
-
- All Implemented Interfaces:
BeliefSetConsistencyTester<PlFormula>
,ConsistencyTester<BeliefSet<PlFormula,?>>
,ConsistencyWitnessProvider<PlBeliefSet,PlFormula>
public final class NativeMinisatSolver extends IncrementalSatSolver
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description NativeMinisatSolver()
-
Method Summary
Modifier and Type Method Description SatSolverState
createState()
-
Methods inherited from class net.sf.tweety.arg.adf.sat.IncrementalSatSolver
getWitness, isSatisfiable
-
Methods inherited from class net.sf.tweety.logics.pl.sat.SatSolver
convertToDimacs, convertToDimacs, getDefaultSolver, getWitness, getWitness, hasDefaultSolver, isConsistent, isConsistent, isConsistent, setDefaultSolver, setTempFolder
-
-
-
-
Method Detail
-
createState
public SatSolverState createState()
- Specified by:
createState
in classIncrementalSatSolver
-
-