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 IsThresholdFunction ToAndOr AbsoluteExpression MaxValue binaryioset ToOrAnd AddXorTerm Diagram list() MantissaToPositiveInteger PositiveDecimalToMantissa RadixFromIndex object() OrAnd To2LayerAndOr To2LayerAndXor Forwardly ToDigitalSystem To2layerOrAnd HuffmanMealy ShannonTree Balanced FastVerificationData MultiCover string GetDontCareLogicFunction Substitute Zero