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, outputMappublic void encodeIntegerVariable(IntegerVariable v) throws SugarException
encodeIntegerVariable in class AbstractEncoderSugarExceptionpublic void encodeClause(Clause c) throws SugarException
encodeClause in class AbstractEncoderSugarException