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
MatchLogicFunction PermuteLogicFunction IsSelfAntiDualFunction Binary FromBinary List MaxValue MinValue BinaryNumberToString PureBinary binary ToAndXor ToOrAnd ToDualFunction ToShannonTree ToSOP Load MantissaToPositiveNumber object MaxSAT Sequential HuffmanMealy Canonical SimpleCover StateTransition AdjustLogicVariableCount SemanticEval ShrinkLogicFunction var() Zero