Convert.ToShannonTree
Back to table
/*
Logic-Function-Analysis
Convert.ToShannonTree
[BDD g]=Convert.ToShannonTree(LogicFunction f);
f : a logic function
g : a logic fucntion in the BDD form.
Compute the Shannon-Tree (No-reduced-no-reorderd BDD) of the logic object.
*/
//-------------------------------------------------------------------
// examples
f=AndOr()
{
1,-2;
-1,2;
}
g=Convert.ToShannonTree(f);
Print(f,g);
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBlankFunction IsCovering IsSymmetricFunctionTo IsThresholdFunction IsUnateFunctionTo BCD bool ToShannonTree Equiv list() Count LogicScript Minus MantissaToPositiveDecimal MantissaToPositiveNumber To2LayerNor To2LayerAndXor Solve To2layerOrAnd Simplification ROBDD Full SimpleCover StateDeviceName TruthTable ShrinkLogicFunction var() XORP Zero