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
MatchLogicFunction IsBiUnateFunction IsBiUnateFunctionTo IsThresholdFunction AndXor Binary FromBinary List MaxValue ToAndXor AddXorTerm Eq FeedbackSystem Load minterm() MantissaToPositiveInteger MostSignificantDigit Or Realization ToFullAnd ShortestInputsForTransition Assign ToDigitalSystem FullTable BestVariableOrder string() CreateFromLogicFunctions IndependentBase Xor Zero