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 IsBiUnateFunctionTo IsInverse IsNegativeUnateFunctionTo IsZeroFunction BDD binary() binary binaryioset ToVariableInvertedFunction Diagram Dimacs logicvardef minterm() Minus Nor RadixToIndex One MaxSAT ShortestInputsForDistinguishTwoStates GetExcitationTable To2layerOrAnd Fast ROBDD DontCare string() Normalization ShrinkLogicFunction var() Zero