Represents the different types of numerical comparators for satifiability checks for an abstract domain.
Represents the different types of numerical comparators for satifiability checks for an abstract domain.