BDD
Back to table
/*
LogicObject
BDD
[BDD f]=BDD(inputindexes){ nodes; };
Define a combinatorial logic-object in the form of BDD (binary decision diagram)
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced IsEqual IsLinearFunction IsOneFunction IsParityFunction IsSelfDualFunction AndOr List MinValue binary bool() AddXorTerm ToROBDD Eq FeedbackDiagram Get logicvardef minterm() Nor MantissaToPositiveDecimal MantissaToPositiveNumber PositiveIntegerToMantissa object real To2LayerAndOr Compatibility SimpleInner CreateFromLogicFunctions Normalization Zero