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 IsEqual IsLinearFunction IsMonotonicFunction IsPositiveUnateFunctionTo FromBinary ToBinary BCDEx3 NineComplement ToOrAnd AddXorTerm ToDualFunction FeedbackDiagram logicvardef long MostSignificantDigit Radixes To2LayerAndOr To2LayerNand ShortestInputsForTransition InputVariables Backwardly ToFeedbackSystem CreateCompactTableWithFullSimplification FullTable FastVerificationData Canonical var() Xor Zero