Datatype RelationStrictness
Describes whether a relation is ‘strict’ (that is, a <
or >
relation) or ‘non-strict’ (a <=
or >=
relation).
Import path
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils
Describes whether a relation is ‘strict’ (that is, a <
or >
relation) or ‘non-strict’ (a <=
or >=
relation).
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils