public abstract class AbstractEncoder extends Object
CSP
Constructor and Description |
---|
AbstractEncoder(CSP csp,
Problem problem) |
Modifier and Type | Method and Description |
---|---|
boolean |
decode(String outFileName) |
void |
encode() |
abstract void |
encodeClause(Clause c) |
void |
encodeDelta() |
abstract void |
encodeIntegerVariable(IntegerVariable v) |
int |
negateCode(int code) |
void |
outputMap(String mapFileName) |
public int negateCode(int code)
public abstract void encodeIntegerVariable(IntegerVariable v) throws SugarException
SugarException
public abstract void encodeClause(Clause c) throws SugarException
SugarException
public void encode() throws SugarException
SugarException
public void encodeDelta() throws IOException, SugarException
IOException
SugarException
public void outputMap(String mapFileName) throws SugarException, IOException
SugarException
IOException
public boolean decode(String outFileName) throws SugarException, IOException
SugarException
IOException