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





IsBiUnateFunctionTo IsSymmetricFunctionTo MinValue BCDEx3 BinaryNumberToString StringToBinaryNumber binary ToAndXor ToPOS ToROBDD Equiv ExcitationTable Imply minterm() Nand MantissaToPositiveDecimal MantissaToPositiveInteger OrAnd To2LayerAndXor MaxSAT Solve Sequential InputVariables CreateCompactTable Canonical CreateFromLogicFunctions AdjustLogicVariableCount Normalization XORP Zero

搜索本網站 :

 
Buy website traffic cheap