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
Analysis IsBiUnateFunction IsSelfDualFunction BDD FromBinary ToBinary BCD NineComplement AddXorTerm ToPOS Email Eq Load logicvardef Nand Not Radixes Or PermutationMatrix To2LayerNor To2LayerAndXor Sequential Forwardly OutputAndStateBasedly string() TimingChart Utility ComputeDONTCARE ShrinkLogicFunction Zero