IndexedSatSolverState

All Superinterfaces:: AutoCloseable

public interface IndexedSatSolverState extends AutoCloseable

Author:: Matthias Thimm

Method Summary

Modifier and Type

Method

Description

void

add(int[] clause)

void

close()

boolean

satisfiable()

boolean

satisfiable(int[] assumptions)

int[]

witness(int[] literals)

int[]

witness(int[] literals, int[] assumptions)

Method Details
- satisfiable
  
  boolean satisfiable()
  
  Returns:
  
  satisfiable
- satisfiable
  
  boolean satisfiable(int[] assumptions)
  
  Parameters:
  
  assumptions - assumptions
  
  Returns:
  
  satisfiabl
- witness
  
  int[] witness(int[] literals)
  
  Parameters:
  
  literals - literals
  
  Returns:
  
  the truth values of the given literals, 0 if false or 1 if true
- witness
  
  int[] witness(int[] literals, int[] assumptions)
  
  Parameters:
  
  literals - literals
  
  assumptions - assumptions
  
  Returns:
  
  witness
- add
  
  void add(int[] clause)
  
  Parameters:
  
  clause - clause
- close
  
  void close()
  
  Specified by:
  
  close in interface AutoCloseable