Package net.sf.tweety.arg.adf.sat

Class IncrementalSatSolver

java.lang.Object

net.sf.tweety.logics.pl.sat.SatSolver

net.sf.tweety.arg.adf.sat.IncrementalSatSolver

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>

Direct Known Subclasses:

NativeLingelingSolver, SimpleIncrementalSatSolver

public abstract class IncrementalSatSolver
extends net.sf.tweety.logics.pl.sat.SatSolver

Constructor Summary

Constructors

Constructor	Description
IncrementalSatSolver()

Method Summary

Modifier and Type	Method	Description
abstract SatSolverState	createState()

Methods inherited from class net.sf.tweety.logics.pl.sat.SatSolver

convertToDimacs, convertToDimacs, createTmpDimacsFile, createTmpDimacsFile, getDefaultSolver, getWitness, getWitness, getWitness, hasDefaultSolver, isConsistent, isConsistent, isConsistent, isSatisfiable, setDefaultSolver, setTempFolder

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalSatSolver

public IncrementalSatSolver()

Method Detail

createState

public abstract SatSolverState createState()