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





IsLinearFunction IsPositiveUnateFunctionTo IsSymmetricFunction ToAndOr bool() Convert ToROBDD ToXORP Email Eq FeedbackDiagram Load logicvardef() Minus Not To2LayerNor SAT StateTransitionBasedly To2layerOrAnd Simplification Fast MultiCover SimpleInner TruthTable Normalization SemanticEval ShannonExpansion ShrinkLogicFunction var() Zero

搜索本網站 :

 
Buy website traffic cheap