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
IsUnateFunction AndXor ToBinary GrayCode NineComplement ToAndXor ToNotFunction ToShannonTree ToTruthTable Eq LeastSignificantDigit MantissaToPositiveInteger MostSignificantDigit PositiveDecimalToMantissa To2LayerOrAnd Backwardly OutputAndStateBasedly ToStateTransitionTable CreateCompactTable CreateCompactTableWithFullSimplification GetExcitationTable ToDigitalSystem BestVariableOrder FastVerificationData Full SimpleInner ComputeDONTCARE Normalization Substitute Zero