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
IsInverse IsLinearFunction IsSelfDualFunction AndOr ToAndOr List BinaryNumberToString StringToBinaryNumber ToShannonTree Equiv minterm RadixToIndex Realization To2LayerAndOr MaxSAT Save ShortestInputsForTransition Assign CreateCompactTableWithFullSimplification To2layerOrAnd HuffmanMealy Balanced ROBDD DontCare Shannon SimpleCover StateTransition string TimingChart Zero