pbsugar.encoder
Class Encoder
java.lang.Object
pbsugar.encoder.Encoder
- Direct Known Subclasses:
- PBEncoder
public class Encoder
- extends Object
UNDEF
public static int UNDEF
TRUE
public static int TRUE
FALSE
public static int FALSE
debug
public int debug
sat
public SatFile sat
Encoder
public Encoder(String satFileName)
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: SAT-based Pseudo Boolean Constraint Solver