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
IsBiUnateFunctionTo IsMonotonicFunction IsPositiveUnateFunctionTo MinValue BinaryNumberToString StringToBinaryNumber binary ToOrAnd ToShannonTree ToTruthTable Dimacs NumberSystem MantissaToPositiveInteger One Realization To2LayerNor ShortestInputsForTransition AutoAssignInputAndStateVariables GetExcitationTable FullTable Balanced string() GetNegativeLogicFunction GetPositiveLogicFunction GetSubTable CreateDummyLogicFunction SemanticEval ShannonExpansion var() Zero