public abstract class Problem
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
clausesCount |
static int |
FALSE_CODE |
long |
fileSize |
static boolean |
GCNF |
int |
groups |
static boolean |
GWCNF |
int |
topWeight |
static int |
TRUE_CODE |
int |
variablesCount |
Constructor and Description |
---|
Problem() |
Modifier and Type | Method and Description |
---|---|
void |
addClause(int[] clause) |
void |
addComment(java.lang.String comment) |
abstract void |
addNormalizedClause(int[] clause) |
void |
addPragmaDominant(int code0,
int code1) |
void |
addVariables(int number) |
void |
beginGroups(java.util.List<java.lang.Integer> groups,
int weight) |
void |
cancel() |
void |
clear() |
void |
commit() |
abstract void |
done() |
void |
endGroups() |
boolean |
isValid(int[] clause) |
int[] |
normalizeClause(int[] clause) |
void |
setGroups(int groups,
int topWeight) |
java.lang.String |
summary() |
public static boolean GCNF
public static boolean GWCNF
public static final int FALSE_CODE
public static final int TRUE_CODE
public int groups
public int topWeight
public int variablesCount
public int clausesCount
public long fileSize
public void clear() throws SugarException
SugarException
public void commit() throws SugarException
SugarException
public void cancel() throws SugarException
SugarException
public abstract void done() throws SugarException
SugarException
public void addVariables(int number) throws SugarException
SugarException
public boolean isValid(int[] clause)
public int[] normalizeClause(int[] clause)
public void addComment(java.lang.String comment) throws SugarException
SugarException
public void addPragmaDominant(int code0, int code1) throws SugarException
SugarException
public void setGroups(int groups, int topWeight)
public abstract void addNormalizedClause(int[] clause) throws SugarException
SugarException
public void addClause(int[] clause) throws SugarException
SugarException
public void beginGroups(java.util.List<java.lang.Integer> groups, int weight)
public void endGroups()
public java.lang.String summary()