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 IsCovering IsLinearFunction IsPositiveFunction IsSelfAntiDualFunction IsSelfDualFunction IsZeroFunction And OneComplement binary binaryioset() ToTruthTable LogicScript logicvardef Minus NumberSystem MantissaToPositiveDecimal Or PermutationMatrix To2LayerNor To2LayerOrAnd SOP Implementation Compatibility ShannonTree FastVerificationData GetSubTable ComputeFunctionOrder EnlargeLogicFunction Zero