NativePicosatSolver

java.lang.Object

org.tweetyproject.arg.adf.sat.solver.NativePicosatSolver

All Implemented Interfaces:: IncrementalSatSolver

public final class NativePicosatSolver extends Object implements IncrementalSatSolver

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

NativePicosatSolver()

NativePicosatSolver
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
- NativePicosatSolver
  
  public NativePicosatSolver()
  
  NativePicosatSolver
Method Details
- createState
  
  public SatSolverState createState()
  
  Specified by:
  
  createState in interface IncrementalSatSolver
  
  Returns:
  
  createState