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
IsNegativeUnateFunctionTo IsOneFunction IsZeroFunction AndXor BDD BCDEx3 BinaryNumberToString bool() ToROBDD ToShannonTree ToXORP Diagram Dimacs Equiv Load minterm MantissaToPositiveDecimal Forwardly StateTransitionBasedly ToStateTransitionTable FastVerificationData Canonical Full TimingChart TruthTable CreateFromLogicFunctions GetNegativeLogicFunction ComputeFunctionOrder Normalization Zero