Datatype TRelationStrictness

The strictness of a relation. Either ‘strict’ (that is, a < or > relation) or ‘non-strict’ (a <= or >= relation).

Import path

import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils

Nonstrict	Represents that a relation is ‘non-strict’ (that is, a `<=` or `>=` relation)
Strict	Represents that a relation is ‘strict’ (that is, a `<` or `>` relation).

Nonstrict	Represents that a relation is ‘non-strict’ (that is, a `<=` or `>=` relation)
Strict	Represents that a relation is ‘strict’ (that is, a `<` or `>` relation).