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