PBSugar version 1.1.1 Core API Specification

pbsugar.encoder
Class Encoder

java.lang.Object
  extended by pbsugar.encoder.Encoder
Direct Known Subclasses:
PBEncoder

public class Encoder
extends Object


Field Summary
 int debug
           
static int FALSE
           
 SatFile sat
           
static int TRUE
           
static int UNDEF
           
 
Constructor Summary
Encoder(String satFileName)
           
 
Method Summary
 void close()
           
 int code(String name, int... is)
           
 String decode(int lit)
           
 int neg(int lit)
           
 String newAuxVar(String pre)
           
 int newVar(String name, int... dim)
           
 void open()
           
 String toString(Clause clause)
           
 String toString(List<Clause> clauses)
           
 void writeClause(Clause clause)
           
 void writeClause(int... lits)
           
 void writeComment(String comment)
           
 void writeComment(String[] msg)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

UNDEF

public static int UNDEF

TRUE

public static int TRUE

FALSE

public static int FALSE

debug

public int debug

sat

public SatFile sat
Constructor Detail

Encoder

public Encoder(String satFileName)
Method Detail

open

public void open()
          throws IOException
Throws:
IOException

close

public void close()
           throws IOException
Throws:
IOException

newVar

public int newVar(String name,
                  int... dim)

newAuxVar

public String newAuxVar(String pre)

neg

public int neg(int lit)

code

public int code(String name,
                int... is)

decode

public String decode(int lit)

toString

public String toString(Clause clause)

toString

public String toString(List<Clause> clauses)

writeComment

public void writeComment(String comment)
                  throws IOException
Throws:
IOException

writeComment

public void writeComment(String[] msg)
                  throws IOException
Throws:
IOException

writeClause

public void writeClause(Clause clause)
                 throws IOException
Throws:
IOException

writeClause

public void writeClause(int... lits)
                 throws IOException
Throws:
IOException

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver