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
MatchLogicFunction IsEqual ToAndOr ToBinary BCDEx3 GrayCode binary ToAndXor ToNotFunction Dimacs FeedbackSystem logicvardef() NumberSystem RadixFromIndex object Sequential ShortestInputsForDistinguishTwoStates InputVariables StateVariables GetExcitationTable ToDigitalSystem Compatibility ShannonTree Canonical GetDontCareLogicFunction AdjustLogicVariableCount ComputeFunctionOrder Xor XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.