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
IsNegativeUnateFunctionTo IsPositiveFunction IsPositiveUnateFunctionTo IsThresholdFunction Binary AbsoluteExpression MaxValue BinaryNumberToString ToDualFunction Load LogicScript minterm() MantissaToPositiveNumber RadixToIndex real Realization SOP To2LayerNand AutoAssignInputAndStateVariables OutputAndStateBasedly ToFeedbackSystem CreateCompactTableWithFullSimplification GetExcitationTable FullTable Balanced DontCare GetNegativeLogicFunction GetPositiveLogicFunction IndependentBase Zero