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

NameValueComment
MonotonicallyIncreasing0
MonotonicallyDecreasing1