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
IsEqual FromBinary MaxValue BCDEx3 NineComplement OneComplement bool() bool ToNotFunction DigitalSystem Count Get logicvardef MantissaToPositiveNumber OrAnd Print real() Realization SAT Solve ToStateTransitionTable CreateCompactTable DontCare Shannon SimpleCover TimingChart GetPositiveLogicFunction GetSubTable SemanticEval Zero