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 IsParityFunction IsPositiveFunction IsUnateFunction AndXor Binary BCDEx3 OneComplement bool Convert AddXorTerm DiagramGateName Equiv logicvardef() LeastSignificantDigit POS real To2LayerOrAnd To2LayerAndOr ShortestInputsForTransition AutoAssignInputAndStateVariables CreateCompactTable FastVerificationData SimpleInner StateTransition CreateFromLogicFunctions GetDontCareLogicFunction RandomGenerate Utility Zero