Class RelationStrictness
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.RangeAnalysisUtilsDirect supertypes
Predicates
| toString | Gets the string representation of this relation strictness. |