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
IsOneFunction IsPositiveFunction IsSelfDualFunction IsThresholdFunction BDD MinValue BCDEx3 GrayCode binaryioset bool ToNotFunction Eq Equiv FeedbackSystem Not real() real To2LayerNor ToFullAnd ShortestInputsForDistinguishTwoStates ToStateTransitionTable To2layerOrAnd Simplification BestVariableOrder GetSubTable ComputeDONTCARE EnlargeLogicFunction Normalization Substitute Zero