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





PermuteLogicFunction IsBiUnateFunctionTo IsBlankFunction IsSymmetricFunction BCDEx3 binaryioset() bool() ToPOS Email ExcitationTable long() object() Realization SOP To2LayerAndXor SAT Solve Backwardly StateVariables CreateCompactTable ROBDD DontCare MultiCover TimingChart Normalization ShannonExpansion Substitute var() var Zero

Search This Website :

 
Buy website traffic cheap