Package | Description |
---|---|
org.sat4j.pb.tools | |
org.sat4j.tools | |
org.sat4j.tools.encoding |
Constructor and Description |
---|
ClausalConstraintsDecorator(IPBSolver solver,
EncodingStrategyAdapter encodingAd) |
Constructor and Description |
---|
ClausalCardinalitiesDecorator(T solver,
EncodingStrategyAdapter encodingAd) |
Modifier and Type | Class and Description |
---|---|
class |
Binary
Binary encoding for the "at most one" and "at most k" cases.
|
class |
Binomial
Binomial encoding for the "at most one" and "at most k" cases.
|
class |
Commander
Commander encoding for "at most one" and "at most k" cases.
|
class |
Ladder
Ladder encoding for the "at most one" and "exactly one" cases.
|
class |
Policy
This class allows the use of different encodings for different cardinality
constraints.
|
class |
Product
Implementation of product encoding for at most one and at most k constraints.
|
class |
Sequential
Implementation of the sequential encoding for the at most k constraint.
|
Modifier and Type | Method and Description |
---|---|
EncodingStrategyAdapter |
Policy.getAtLeastKEncoding() |
EncodingStrategyAdapter |
Policy.getAtLeastOneEncoding() |
EncodingStrategyAdapter |
Policy.getAtMostKEncoding() |
EncodingStrategyAdapter |
Policy.getAtMostOneEncoding() |
EncodingStrategyAdapter |
Policy.getExactlyKEncoding() |
EncodingStrategyAdapter |
Policy.getExactlyOneEncoding() |
Modifier and Type | Method and Description |
---|---|
void |
Policy.setAtLeastKEncoding(EncodingStrategyAdapter atLeastKEncoding) |
void |
Policy.setAtLeastOneEncoding(EncodingStrategyAdapter atLeastOneEncoding) |
void |
Policy.setAtMostKEncoding(EncodingStrategyAdapter atMostKEncoding) |
void |
Policy.setAtMostOneEncoding(EncodingStrategyAdapter atMostOneEncoding) |
void |
Policy.setExactlyKEncoding(EncodingStrategyAdapter exactlyKEncoding) |
void |
Policy.setExactlyOneEncoding(EncodingStrategyAdapter exactlyOneEncoding) |