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 IsEqual IsOneFunction IsSymmetricFunction BDD GrayCode NineComplement ToROBDD Dimacs ExcitationTable PositiveNumberToMantissa real To2LayerOrAnd SAT ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables OutputAndStateBasedly ToStateTransitionTable ToDigitalSystem FullTable HuffmanMealy Shannon TimingChart TruthTable CreateFromLogicFunctions GetNegativeLogicFunction GetPositiveLogicFunction RandomGenerate Substitute Zero