PooledIncrementalSatSolver

java.lang.Object

org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver

All Implemented Interfaces:: IncrementalSatSolver

public final class PooledIncrementalSatSolver extends Object implements IncrementalSatSolver

A decorator which provides a pool of pre computed SatSolverState.

Author:: Mathias Hofer

Nested Class Summary

Nested Classes

Modifier and Type

Class

Description

static final class

PooledIncrementalSatSolver.Builder

class Builder
Method Summary

Modifier and Type

Method

Description

static PooledIncrementalSatSolver.Builder

builder(IncrementalSatSolver satSolver)

void

close()

close

SatSolverState

createState()

Return createState

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- builder
  
  public static PooledIncrementalSatSolver.Builder builder(IncrementalSatSolver satSolver)
  
  Parameters:
  
  satSolver - satSolver
  
  Returns:
  
  Builder builder
- createState
  
  public SatSolverState createState()
  
  Description copied from interface: IncrementalSatSolver
  
  Return createState
  
  Specified by:
  
  createState in interface IncrementalSatSolver
  
  Returns:
  
  createState
- close
  
  public void close()
  
  close