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
Analysis IsBiUnateFunction IsLinearFunction IsOneFunction AbsoluteExpression BCD OneComplement AddXorTerm ToVariableInvertedFunction Email ExcitationTable Load Not LeastSignificantDigit MantissaToPositiveInteger RadixFromIndex One POS real() Realization SOP MaxSAT Assign Backwardly StateTransitionBasedly To2layerOrAnd Full StateTransition var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.