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 IsBlankFunction IsZeroFunction Binary Convert ToVariableInvertedFunction Diagram Load Nand MostSignificantDigit PositiveIntegerToMantissa RadixToIndex object To2LayerAndOr Sequential TransitionSeries CreateCompactTable CreateCompactTableWithFullSimplification Implementation ROBDD MultiCover SimpleInner string GetNegativeLogicFunction GetSubTable AdjustLogicVariableCount ComputeDONTCARE Normalization ShannonExpansion Zero