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 IsBlankFunction IsEqual IsLinearFunction IsOneFunction IsThresholdFunction IsUnateFunctionTo FromBinary binary binaryioset() bool ToNotFunction ToVariableInvertedFunction Eq FeedbackSystem logicvardef MantissaToPositiveNumber object() OrAnd POS To2LayerNor ToFeedbackSystem CreateCompactTable GetExcitationTable FastVerificationData DontCare GetNegativeLogicFunction ComputeDONTCARE var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.