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
IsBiUnateFunctionTo IsEqual IsNegativeUnateFunctionTo IsSelfDualFunction IsUnateFunctionTo And BDD AbsoluteExpression FromBinary OneComplement Convert ToVariableInvertedFunction Diagram DigitalSystem Dimacs minterm() Nand Not Radixes real To2LayerAndOr To2LayerNand Solve ShortestInputsForTransition Assign InputVariables FastVerificationData DontCare XORP Zero