Analysis.IsMonotonicFunction


Back to table

/*
Logic-Function-Analysis
Analysis.IsMonotonicFunction

[bool result]=Analysis.IsMonotonicFunction(LogicFunction f);

f : a logic function
result : true | false

Check whether $f$ is a monotonic function.

*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
	1;2;3;
}
[g]=Analysis.IsMonotonicFunction(f);
Print("IsMonotonicFunction?", g);

//-------------------------------------------------------------------
// result





MatchLogicFunction IsBiUnateFunctionTo IsBlankFunction IsMonotonicFunction IsPositiveFunction AndXor BDD BCD GrayCode binary list() Load long() Nand Not MantissaToPositiveNumber object PermutationMatrix Print real() Realization To2LayerAndOr Sequential TransitionSeries Implementation Utility SemanticEval var Xor Zero

搜索本網站 :

 
Buy website traffic cheap