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 IsInverse IsNegativeUnateFunctionTo IsParityFunction IsUnateFunctionTo BinaryNumberToString NineComplement ToXORP Equiv long() long Nor MantissaToPositiveDecimal PositiveDecimalToMantissa RadixFromIndex One Realization To2LayerNor SAT Assign CreateCompactTableWithFullSimplification GetExcitationTable BestVariableOrder MultiCover Shannon SimpleCover CreateFromLogicFunctions ComputeDONTCARE Substitute Zero