public class OrderEncoder extends AbstractEncoder
csp, problem
Constructor and Description |
---|
OrderEncoder(CSP csp,
Problem problem) |
Modifier and Type | Method and Description |
---|---|
void |
encodeClause(Clause c) |
void |
encodeIntegerVariable(IntegerVariable v) |
decode, encode, encodeDelta, negateCode, outputMap
public void encodeIntegerVariable(IntegerVariable v) throws SugarException
encodeIntegerVariable
in class AbstractEncoder
SugarException
public void encodeClause(Clause c) throws SugarException
encodeClause
in class AbstractEncoder
SugarException