| Class | Description |
|---|---|
| DomainClausesDatabase |
clause database designed to handle efficiently CP domain constraints, with
the interface of boolean clauses databases.
|
| DomainTranslator |
A component that translates CP variables ranges to boolean clauses to
be added to the SAT solver
|
| LazyCpVarDomain<E extends IntVar> | Deprecated |
| SatCPBridge |
interface representing the domain of a CP variable as a range.
|
| SimpleCpVarDomain |
A simple representation for small domains, not lazy.
|
Copyright © 2022. All rights reserved.