Analysis.IsThresholdFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsThresholdFunction
[bool result]=Analysis.IsThresholdFunction(LogicFunction f, int t);
f : a logic function
t : an integer less than the number of the variables.
Check whether $f$ is a threshold function with the threshold value $t$.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsThresholdFunction(f,1);
Print("IsThresholdFunction?", g);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsEqual IsInverse IsSelfAntiDualFunction IsUnateFunctionTo IsZeroFunction binary() AbsoluteExpression List BCDEx3 NineComplement OneComplement ToAndXor ToROBDD ToSOP long MostSignificantDigit PermutationMatrix Realization ToFullAnd SAT StateVariables Simplification Compatibility HuffmanMealy Full RandomGenerate AdjustLogicVariableCount EnlargeLogicFunction Zero