Package | Description |
---|---|
org.chocosolver.solver.constraints.extension.nary |
Class and Description |
---|
LargeRelation |
PropCompactTable
Propagator for table constraint based on
"Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets"
Only for feasible Tuples
|
PropCompactTable.RSparseBitSet |
PropLargeCSP
|
ValidityChecker
A simple class that provides a method to check if a given
tuple is valid i.e. if it is ok regarding the current domain
of the variables
|
Copyright © 2018. All rights reserved.