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
IsCovering IsEqual ToAndOr List BinaryNumberToString NineComplement ToOrAnd ToDualFunction Dimacs Email FeedbackSystem Imply list() LogicScript MantissaToPositiveDecimal MostSignificantDigit PositiveIntegerToMantissa RadixFromIndex RadixToIndex Realization SOP ShortestInputsForDistinguishTwoStates Backwardly ToFeedbackSystem Canonical SimpleInner RandomGenerate AdjustLogicVariableCount EnlargeLogicFunction Zero