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 IsCovering IsPositiveFunction binary() FromBinary NineComplement PureBinary logicvardef Nor MantissaToPositiveInteger object() real To2LayerOrAnd ToFullAnd OutputAndStateBasedly ToFeedbackSystem Simplification Balanced BestVariableOrder string TimingChart CreateFromLogicFunctions GetNegativeLogicFunction AdjustLogicVariableCount ComputeFunctionOrder IndependentBase SemanticEval XORP Zero