|
| Generic propagators |
| This module contains a description of all predefined generic propagators.
|
|
| Integer propagators |
| This module contains a description of all predefined integer propagators. They can be reused, for example, for rewriting newly defined integer propagators into already available propagators.
|
|
| Set propagators |
| This module contains a description of all predefined finite set propagators. They can be reused, for example, for rewriting newly defined finite set propagators into already available propagators.
|
|
| Float propagators |
| This module contains a description of all predefined float propagators. They can be reused, for example, for rewriting newly defined float propagators into already available propagators.
|
|
| Merit-based float view selection for branchers |
| Contains merit-based view selection strategies on float views that can be used together with the generic view/value brancher classes.
|
|
| Float value selection for brancher |
| Contains a description of value selection strategies on float views that can be used together with the generic view/value branchers.
|
|
| Float value commit classes |
| Contains the value commit classes for float views that can be used together with the generic view/value branchers.
|
|
| Merit-based integer view selection for branchers |
| Contains merit-based view selection strategies on integer views that can be used together with the generic view/value brancher classes.
|
|
| Integer value selection for brancher |
| Contains a description of value selection strategies on integer views that can be used together with the generic view/value branchers.
|
|
| Integer value commit classes |
| Contains the value commit classes for integer and Boolean views that can be used together with the generic view/value branchers.
|
|
| Merit-based set view selection for branchers |
| Contains merit-based view selection strategies on set views that can be used together with the generic view/value brancher classes.
|
|
| Set value selection for brancher |
| Contains a description of value selection strategies on set views that can be used together with the generic view/value branchers.
|
|
| Set value commit classes |
| Contains the value commit classes for set views that can be used together with the generic view/value branchers.
|
|