Package org.tweetyproject.arg.adf.sat.solver

Class NativeLingelingSolver

java.lang.Object

org.tweetyproject.arg.adf.sat.solver.NativeLingelingSolver

All Implemented Interfaces:

IncrementalSatSolver

public final class NativeLingelingSolver
extends Object
implements IncrementalSatSolver

Experimental lingeling binding

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
NativeLingelingSolver()

Method Summary

Modifier and Type	Method	Description
SatSolverState	createState()

Methods inherited from class java.lang.Object

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

Constructor Details

NativeLingelingSolver

public NativeLingelingSolver()

Method Details

createState

public SatSolverState createState()

Specified by:

createState in interface IncrementalSatSolver