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
IsBiUnateFunction IsCovering IsInverse IsLinearFunction IsUnateFunctionTo AndXor FromBinary BinaryNumberToString GrayCode bool() bool ExcitationTable Get Load LogicScript long MantissaToPositiveInteger OrAnd Realization ShortestInputsForDistinguishTwoStates StateTransitionBasedly FullTable BestVariableOrder FastVerificationData SimpleCover SimpleInner CreateFromLogicFunctions GetNegativeLogicFunction XORP Zero