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 IsInverse IsLinearFunction IsMonotonicFunction IsPositiveUnateFunctionTo BinaryNumberToString GrayCode TwoComplement ToDualFunction ToVariableInvertedFunction Equiv logicvardef NumberSystem PositiveDecimalToMantissa Radixes To2LayerAndXor SAT InputVariables CreateCompactTable ToDigitalSystem FastVerificationData ROBDD Shannon SimpleCover GetDontCareLogicFunction RandomGenerate Utility CreateDummyLogicFunction ShannonExpansion Zero