Module ddo::core

This module and its submodule provide the definition and implementation of all traits and structures that are required to develop an MDD-based optimization solver.

Modules

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.
common	This module defines the most basic data types that are used both in the abstraction and implementation layers of our library. These are also the types your client library is likely to work with.
implementation	The submodules from this module provide an implementation for the core abstractions of the library (those are described in core::abstraction::*).
utils	This module defines some utility types that are convenient to work with but do not belong to the heart of developing an MDD-based optimization solver. In particular, this module defines: