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 IsPositiveUnateFunctionTo BDD GrayCode bool() ToROBDD ToShannonTree DiagramGateName Dimacs Eq FeedbackDiagram Imply list() MantissaToPositiveNumber Radixes object() POS real() To2LayerOrAnd ToFullAnd SAT ToFeedbackSystem CreateCompactTableWithFullSimplification Simplification FullTable HuffmanMealy Canonical GetDontCareLogicFunction Normalization Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.