NAME

Logic::Relational::Domain - Represents a finite domain of allowed integer values.