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
IsBlankFunction IsInverse IsSymmetricFunction ToAndOr List TwoComplement ToVariableInvertedFunction Dimacs minterm() Minus Nor MantissaToPositiveNumber object() One OrAnd To2LayerOrAnd ToFullAnd SAT MaxSAT TransitionSeries Assign CreateCompactTable FastVerificationData DontCare GetPositiveLogicFunction GetSubTable AdjustLogicVariableCount ComputeDONTCARE CreateDummyLogicFunction Zero