defaultOf
Returns a default BinaryDecisionDiagramBuilder instance. Different platforms can return different types of instances, to apply platform-specific optimizations. Note, no reduction optimization must be applied by the returned instance.
Return
a new, platform-default BinaryDecisionDiagramBuilder with no reduction optimizations.