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