Package | Description |
---|---|
org.jacop.satwrapper | |
org.jacop.satwrapper.translation |
Modifier and Type | Class and Description |
---|---|
class |
WrapperDebugModule
a class used to debug, but with additional data
|
Modifier and Type | Method and Description |
---|---|
void |
SatWrapper.addWrapperComponent(WrapperComponent module)
add a component
|
Modifier and Type | Class and Description |
---|---|
class |
DomainClausesDatabase
clause database designed to handle efficiently CP domain constraints, with
the interface of boolean clauses databases.
|
class |
DomainTranslator
A component that translates CP variables ranges to boolean clauses to
be added to the SAT solver
|
class |
LazyCpVarDomain<E extends IntVar>
Deprecated.
|
class |
SatCPBridge
interface representing the domain of a CP variable as a range.
|
class |
SimpleCpVarDomain
A simple representation for small domains, not lazy.
|
Copyright © 2022. All rights reserved.