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

Search This Website :

 
Buy website traffic cheap