public class FileProblem extends Problem
Modifier and Type | Field and Description |
---|---|
static long |
MAX_SAT_SIZE |
static java.lang.String |
PRAGMA_DOMINANT |
static int |
SAT_BUFFER_SIZE |
static boolean |
USE_NEWIO |
clausesCount, FALSE_CODE, fileSize, GCNF, groups, GWCNF, topWeight, TRUE_CODE, variablesCount
Constructor and Description |
---|
FileProblem(java.lang.String satFileName) |
Modifier and Type | Method and Description |
---|---|
void |
addComment(java.lang.String comment) |
void |
addNormalizedClause(int[] clause) |
void |
addPragmaDominant(int code0,
int code1) |
void |
cancel() |
void |
clear() |
void |
close() |
void |
commit() |
void |
done() |
void |
flush() |
void |
open() |
void |
update() |
void |
write(byte[] b) |
void |
write(java.lang.String s) |
addClause, addVariables, beginGroups, endGroups, isValid, normalizeClause, setGroups, summary
public static boolean USE_NEWIO
public static int SAT_BUFFER_SIZE
public static long MAX_SAT_SIZE
public static java.lang.String PRAGMA_DOMINANT
public FileProblem(java.lang.String satFileName) throws SugarException
SugarException
public void open() throws SugarException
SugarException
public void write(byte[] b) throws SugarException
SugarException
public void write(java.lang.String s) throws SugarException
SugarException
public void flush() throws SugarException
SugarException
public void close() throws SugarException
SugarException
public void update() throws SugarException
SugarException
public void clear() throws SugarException
clear
in class Problem
SugarException
public void commit() throws SugarException
commit
in class Problem
SugarException
public void cancel() throws SugarException
cancel
in class Problem
SugarException
public void done() throws SugarException
done
in class Problem
SugarException
public void addComment(java.lang.String comment) throws SugarException
addComment
in class Problem
SugarException
public void addPragmaDominant(int code0, int code1) throws SugarException
addPragmaDominant
in class Problem
SugarException
public void addNormalizedClause(int[] clause) throws SugarException
addNormalizedClause
in class Problem
SugarException