Type Alias ddo::DefaultMDDFC
source · pub type DefaultMDDFC<T> = Mdd<T, FRONTIER>;
Expand description
By default, the mdd implementation which you will want to use is the vector based implementation. In most cases, it is faster than everything else I have tried. So having a alias calling it the “default” DD implementation seems to make sense.
This is the variant implementation that produces a frontier cut-set when asked
Aliased Type§
struct DefaultMDDFC<T> { /* private fields */ }