[−][src]Module ddo::abstraction
This module (and its submodule) provide the abstractions for the basic
building blocks of an MDD solvers. A client willing to use our library to
implement a solver for his/her particular problem should look into the dp
submodule. Indeed, dp is the place where the traits Problem and
Relaxation are defined. These are the two abstractions that one must
implement in order to be able to use our library.
Modules
| dp | This module defines the basic abstractions one will manipulate when implementing an MDD optimization-solver for some problem formulated as a dynamic program. |
| heuristics | This module defines the traits used to encapsulate solver heuristics. |
| mdd | This module defines traits for implementations of an MDD. |
| solver | This module defines the |