ShannonTree.ROBDD
Back to table
/*
Shannon-Tree
ShannonTree.ROBDD
[BDD tree]=ShannonTree.ROBDD(LogicFunction F);
F : a logic function
tree : a logic function in the BDD form
Generate the ROBDD (reduced and ordered binary decision diagram).
*/
//-------------------------------------------------------------------
// examples
f = AndOr()
{
2,4;
1,-3;
-1,2,3;
-1,2,3,4;
-2,-4;
}
g=ShannonTree.ROBDD(f);
Print(f,g);
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunction IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsOneFunction IsSelfDualFunction BDD List BinaryNumberToString binaryioset() FeedbackDiagram Get LogicScript logicvardef MostSignificantDigit Radixes ToFullAnd Save Sequential InputVariables ToStateTransitionTable FullTable HuffmanMealy SimpleCover GetPositiveLogicFunction ComputeDONTCARE ShrinkLogicFunction var Xor Zero