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
MatchLogicFunction Analysis IsBlankFunction IsInverse IsMonotonicFunction IsOneFunction IsSymmetricFunctionTo IsUnateFunctionTo IsZeroFunction MinValue GrayCode binaryioset bool ToXORP logicvardef minterm PositiveNumberToMantissa real To2LayerNand Solve Sequential OutputAndStateBasedly CreateCompactTableWithFullSimplification GetExcitationTable ToDigitalSystem Simplification HuffmanMealy DontCare CreateDummyLogicFunction Zero