Utility.AdjustLogicVariableCount
Back to table
/*
Logic-Function-Analysis
Utility.AdjustLogicVariableCount
[LogicFunction g]=Utility.AdjustLogicVariableCount(LogicFunction F, int minCount)
Adjust the minimum count of the logic variable for a logic function.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBlankFunction IsInverse IsUnateFunction AndXor BDD binary() ToBinary binaryioset() ToROBDD Diagram ExcitationTable Count Load long Nor Not MantissaToPositiveDecimal MostSignificantDigit PositiveIntegerToMantissa Or PermutationMatrix SAT MaxSAT Implementation ToDigitalSystem BestVariableOrder TimingChart GetSubTable Zero