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
Analysis IsBiUnateFunctionTo IsMonotonicFunction IsParityFunction IsSelfAntiDualFunction IsThresholdFunction IsUnateFunctionTo BDD binary() Binary ToNotFunction Diagram Dimacs Eq ExcitationTable Imply MantissaToPositiveDecimal MostSignificantDigit PositiveDecimalToMantissa PositiveIntegerToMantissa OrAnd SAT MaxSAT Backwardly StateVariables OutputAndStateBasedly Full TimingChart var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.