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
IsBiUnateFunctionTo IsOneFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunction And ToBinary bool() ToTruthTable ToXORP Email FeedbackSystem Get long() long Print real() ToFullAnd MaxSAT Solve Sequential TransitionSeries ToDigitalSystem FastVerificationData DontCare StateTransition string() string AdjustLogicVariableCount Zero