public class Encoder extends OrderEncoder
CSP
csp, problem
Modifier and Type | Method and Description |
---|---|
void |
cancel() |
void |
commit() |
boolean |
decode(java.lang.String outFileName) |
void |
encode(Problem problem) |
void |
encode(java.lang.String satFileName) |
void |
encode(java.lang.String satFileName,
boolean incremental) |
int |
getSatClausesCount() |
long |
getSatFileSize() |
int |
getSatVariablesCount() |
void |
outputMap(java.lang.String mapFileName) |
java.lang.String |
summary() |
encodeClause, encodeIntegerVariable
encode, encodeDelta, negateCode
public Encoder(CSP csp)
public void commit() throws SugarException
SugarException
public void cancel() throws SugarException
SugarException
public int getSatVariablesCount()
public int getSatClausesCount()
public long getSatFileSize()
public void encode(Problem problem) throws SugarException
SugarException
public void encode(java.lang.String satFileName) throws SugarException
SugarException
public void encode(java.lang.String satFileName, boolean incremental) throws SugarException
SugarException
public void outputMap(java.lang.String mapFileName) throws java.io.IOException
outputMap
in class AbstractEncoder
java.io.IOException
public boolean decode(java.lang.String outFileName) throws SugarException, java.io.IOException
decode
in class AbstractEncoder
SugarException
java.io.IOException
public java.lang.String summary()