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
IsLinearFunction IsPositiveUnateFunctionTo IsSymmetricFunction ToAndOr bool() Convert ToROBDD ToXORP Email Eq FeedbackDiagram Load logicvardef() Minus Not To2LayerNor SAT StateTransitionBasedly To2layerOrAnd Simplification Fast MultiCover SimpleInner TruthTable Normalization SemanticEval ShannonExpansion ShrinkLogicFunction var() Zero