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:

net.sf.tweety.logics.commons.analysis.BeliefSetConsistencyTester<net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.logics.commons.analysis.ConsistencyTester<net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.pl.syntax.PlFormula,?>>, net.sf.tweety.logics.commons.analysis.ConsistencyWitnessProvider<net.sf.tweety.logics.pl.syntax.PlBeliefSet,net.sf.tweety.logics.pl.syntax.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, createTmpDimacsFile, createTmpDimacsFile, getDefaultSolver, getWitness, getWitness, hasDefaultSolver, isConsistent, isConsistent, isConsistent, setDefaultSolver, setTempFolder

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NativeMinisatSolver

public NativeMinisatSolver()

Method Detail

createState

public SatSolverState createState()

Specified by:

createState in class IncrementalSatSolver