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





Advanced IsBiUnateFunctionTo IsThresholdFunction AndOr AndXor BDD MaxValue BCD OneComplement TwoComplement ToShannonTree FeedbackSystem LogicScript long() MostSignificantDigit PositiveDecimalToMantissa Print SAT StateVariables CreateCompactTable CreateCompactTableWithFullSimplification Implementation ToDigitalSystem SimpleCover GetNegativeLogicFunction AdjustLogicVariableCount ComputeDONTCARE SemanticEval ShrinkLogicFunction Zero

搜索本網站 :

 
Buy website traffic cheap