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 IsSelfDualFunction IsSymmetricFunctionTo AbsoluteExpression BCD GrayCode OneComplement AddXorTerm ToSOP DiagramGateName minterm() Nor PositiveIntegerToMantissa PositiveNumberToMantissa object Print To2LayerAndOr MaxSAT ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables Fast FastVerificationData Canonical StateTransition string() GetSubTable ComputeDONTCARE CreateDummyLogicFunction XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.