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 IsParityFunction IsSymmetricFunctionTo IsThresholdFunction IsZeroFunction AndOr binary() BCDEx3 TwoComplement bool() ToOrAnd ToPOS DiagramGateName Count logicvardef() PositiveDecimalToMantissa PositiveIntegerToMantissa Radixes object Or ToStateTransitionTable GetExcitationTable ShannonTree ROBDD StateTransition string() TruthTable GetPositiveLogicFunction AdjustLogicVariableCount Zero