enum ScalarEvolution::MonotonicPredicateType
Description
A predicate is said to be monotonically increasing if may go from being false to being true as the loop iterates, but never the other way around. A predicate is said to be monotonically decreasing if may go from being true to being false as the loop iterates, but never the other way around.
Declared at: llvm/include/llvm/Analysis/ScalarEvolution.h:1065
Enumerators
Name | Value | Comment |
---|---|---|
MonotonicallyIncreasing | 0 | |
MonotonicallyDecreasing | 1 |