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