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
IsBlankFunction IsInverse IsNegativeUnateFunctionTo binary() Binary MaxValue BCD ToDiagram ToROBDD ToXORP Load LogicScript logicvardef PositiveDecimalToMantissa Radixes OrAnd To2LayerOrAnd SAT MaxSAT Forwardly ToFeedbackSystem CreateCompactTableWithFullSimplification Balanced SimpleCover string TimingChart GetNegativeLogicFunction EnlargeLogicFunction IndependentBase Zero