Convert.ToROBDD
Back to table
/*
Logic-Function-Analysis
Convert.ToROBDD
[BDD g]=Convert.ToROBDD(LogicFunction f);
f : a logic function
g : a logic function in the BDD form
Compute the BDD of the logic object
*/
//-------------------------------------------------------------------
// examples
f=AndOr()
{
1,-2;
-1,2;
}
g=Convert.ToROBDD(f);
Print(f,g);
//-------------------------------------------------------------------
// result
Advanced Analysis IsSelfAntiDualFunction IsUnateFunction IsZeroFunction BCD ToOrAnd ToDiagram ToROBDD ToSOP DigitalSystem Eq FeedbackSystem Count logicvardef MantissaToPositiveInteger MostSignificantDigit PositiveIntegerToMantissa PositiveNumberToMantissa OrAnd To2LayerAndOr Save Sequential Implementation FastVerificationData Full ComputeFunctionOrder EnlargeLogicFunction Normalization Zero