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
MatchLogicFunction IsEqual IsSymmetricFunction IsSymmetricFunctionTo AndOr StringToBinaryNumber TwoComplement ToDiagram ToDualFunction ToTruthTable ToVariableInvertedFunction ToXORP Diagram Load logicvardef() long LeastSignificantDigit MantissaToPositiveInteger PositiveDecimalToMantissa PositiveIntegerToMantissa Or OrAnd Realization MaxSAT AutoAssignInputAndStateVariables Canonical CreateFromLogicFunctions RandomGenerate Substitute Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.