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
PermuteLogicFunction IsParityFunction IsZeroFunction AndOr AndXor ToBinary BCDEx3 Convert ToDualFunction ToROBDD FeedbackSystem Load logicvardef() minterm Minus LeastSignificantDigit MantissaToPositiveInteger To2LayerNor To2LayerOrAnd Save Assign InputVariables CreateCompactTableWithFullSimplification ROBDD MultiCover StateDeviceName CreateFromLogicFunctions var() XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.