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
IsSelfDualFunction IsThresholdFunction IsZeroFunction binary() OneComplement bool() ToSOP Eq Imply list() logicvardef long MantissaToPositiveDecimal MantissaToPositiveNumber MostSignificantDigit Radixes Or Print MaxSAT Save AutoAssignInputAndStateVariables StateTransitionBasedly To2layerOrAnd ShannonTree SimpleCover TruthTable ComputeDONTCARE EnlargeLogicFunction XORP Zero