PBSugar version 1.1.1 Core API Specification

pbsugar.encoder
Class Clause

java.lang.Object
  extended by pbsugar.encoder.Clause

public class Clause
extends Object


Field Summary
static Clause FALSE_CLAUSE
           
 
Constructor Summary
Clause()
           
Clause(int... lits)
           
Clause(List<Integer> lits)
           
 
Method Summary
 int[] getLiterals()
           
 boolean isUnsat()
           
 Clause or(Clause c)
           
 Clause or(int... lits)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

FALSE_CLAUSE

public static Clause FALSE_CLAUSE
Constructor Detail

Clause

public Clause()

Clause

public Clause(int... lits)

Clause

public Clause(List<Integer> lits)
Method Detail

or

public Clause or(int... lits)

or

public Clause or(Clause c)

isUnsat

public boolean isUnsat()

getLiterals

public int[] getLiterals()

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver