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
IsBiUnateFunction IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunction IsUnateFunction IsZeroFunction MinValue BCD binary ToPOS ToVariableInvertedFunction Dimacs Eq list() PositiveIntegerToMantissa object One To2LayerNor To2LayerOrAnd TransitionSeries ToStateTransitionTable CreateCompactTableWithFullSimplification Fast Full StateTransition string() GetPositiveLogicFunction RandomGenerate CreateDummyLogicFunction Zero