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 IsEqual IsLinearFunction IsMonotonicFunction IsPositiveFunction IsUnateFunctionTo BDD binary() ToBinary NineComplement OneComplement bool ToDiagram ToPOS Diagram DiagramGateName DigitalSystem list() Load logicvardef long() MantissaToPositiveInteger Radixes object To2LayerNor ToFullAnd Shannon var() Zero