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
IsBiUnateFunction IsBlankFunction IsParityFunction IsSymmetricFunctionTo Binary ToBinary GrayCode NineComplement binaryioset ToTruthTable ToVariableInvertedFunction ToXORP Imply Get logicvardef Nand MantissaToPositiveNumber RadixFromIndex Or POS Print Sequential Assign InputVariables Backwardly CreateCompactTableWithFullSimplification Full string() ComputeDONTCARE Zero