Utility.EnlargeLogicFunction
Back to table
/*
Logic-Function-Analysis
Utility.EnlargeLogicFunction
[LogicFunction g]=Utility.EnlargeLogicFunction(LogicFunction F, var() varList)
Change the indexex of the logic variable for enlarging the size of the logic function.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
ToBinary BCDEx3 BinaryNumberToString binaryioset ToOrAnd ToShannonTree Dimacs logicvardef() logicvardef minterm Minus Nor PositiveNumberToMantissa Or OrAnd PermutationMatrix POS ToFullAnd MaxSAT Backwardly ToDigitalSystem Compatibility MultiCover StateTransition CreateFromLogicFunctions GetPositiveLogicFunction AdjustLogicVariableCount ComputeDONTCARE var() Zero