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
PermuteLogicFunction IsNegativeUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction ToAndOr Binary BCDEx3 binary binaryioset() ToOrAnd ToTruthTable Dimacs Get long() long minterm Minus LeastSignificantDigit RadixFromIndex POS AutoAssignInputAndStateVariables Backwardly GetExcitationTable Implementation HuffmanMealy Canonical MultiCover TruthTable GetSubTable Zero