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
IsLinearFunction IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo And AndOr binary ToAndXor ToShannonTree ToXORP DiagramGateName DigitalSystem Email Equiv ExcitationTable MantissaToPositiveInteger RadixFromIndex object One real() Assign StateVariables CreateCompactTable Balanced Full MultiCover SimpleCover CreateFromLogicFunctions IndependentBase SemanticEval Zero