QL library for C/C++
Version 1.21.0
Index
Search
ForLoopEntryConditionEvaluator
Class
ForLoopEntryConditionEvaluator
Predicates
allowVariableWithoutInitializer
ignoreNonAnalyzableVariableDefinition
ignoreVariableAssignment
interesting
isLoopBody
isLoopEntry
Inherited predicates
abs
acos
asin
atan
bitAnd
bitNot
bitOr
bitShiftLeft
bitShiftRight
bitShiftRightSigned
bitXor
ceil
copySign
cos
cosh
exp
floor
gcd
getValue
interestingInternal
log
log
log
log10
log2
maximum
maximum
minimum
minimum
nextAfter
nextDown
nextUp
pow
pow
signum
sin
sinh
sqrt
tan
tanh
toString
ulp
Charpred
ForLoopEntryConditionEvaluator
Characteristic predicate
ConstantExprs
::
ForLoopEntryConditionEvaluator
::
ForLoopEntryConditionEvaluator
ForLoopEntryConditionEvaluator
()