Package | Description |
---|---|
org.sat4j.tools.encoding |
Modifier and Type | Method and Description |
---|---|
static EncodingStrategy |
EncodingStrategy.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static EncodingStrategy[] |
EncodingStrategy.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
Policy.setAtLeastKEncoding(EncodingStrategy atLeastKEncoding) |
void |
Policy.setAtLeastOneEncoding(EncodingStrategy atLeastOneEncoding) |
void |
Policy.setAtMostKEncoding(EncodingStrategy atMostKEncoding) |
void |
Policy.setAtMostOneEncoding(EncodingStrategy atMostOneEncoding) |
void |
Policy.setExactlyKEncoding(EncodingStrategy exactlyKEncoding) |
void |
Policy.setExactlyOneEncoding(EncodingStrategy exactlyOneEncoding) |