Type Alias ddo::DefaultMDDFC

pub type DefaultMDDFC<T> = Mdd<T, FRONTIER>;

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 */ }