See: Description
| Class | Description |
|---|---|
| Main | |
| PropAcyclic |
Enforce no cycles.
|
| PropAnd | |
| PropArrayToSet | |
| PropArrayToSetCard | |
| PropFilterString |
result = [string !! i | i <- set].
|
| PropIfThenElse | |
| PropIntChannel |
An idempotent and more efficient propagator than the default one.
|
| PropIntNotMemberSet |
Missing from the library.
|
| PropJoinFunction |
Join a unary set relation with a binary function.
|
| PropJoinFunctionCard | |
| PropJoinInjectiveRelationCard | |
| PropJoinRelation |
Join a unary relation with a binary relation.
|
| PropLexChainChannel |
strings[i] < strings[j] iff ints[i] <= ints[j] strings[i] = strings[j]
iff ints[i] = ints[j]
0 < ints[i] < |{ints}|
|
| PropLone | |
| PropMask | |
| PropOne | |
| PropOr | |
| PropReifyEqualXC |
(reify = reifyC) <=> (x = c)
|
| PropReifyEqualXY |
(reify = reifyC) <=> (x = y)
|
| PropSelectN |
The first n booleans are the true, the rest are false.
|
| PropSetDifference | |
| PropSetEqual |
More efficient than the provided PropAllEqual.
|
| PropSetNotEqual |
More efficient than the provided PropAllDiff.
|
| PropSetNotEqualC | |
| PropSetSum |
Sums a set and |set| &le n.
|
| PropSetUnion |
Idempotent version of the one provided by the Choco library.
|
| PropSetUnionCard | |
| PropSingleton | |
| PropSortedSets | |
| PropSortedSetsCard | |
| PropUnreachable |
Enforces no path from one node to another.
|
| PropUtil |
Various static utility functions for writing Choco propagators.
|
Copyright © 2013. All Rights Reserved.