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
PermuteLogicFunction Analysis IsBiUnateFunction IsLinearFunction IsOneFunction IsSymmetricFunctionTo ToBinary NineComplement PureBinary AddXorTerm Count logicvardef Not Radixes To2LayerOrAnd ToFullAnd Save ShortestInputsForTransition Assign StateTransitionBasedly ToFeedbackSystem GetExcitationTable BestVariableOrder SimpleInner StateTransition string GetPositiveLogicFunction IndependentBase SemanticEval Zero