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