Searched refs:is_more_general_than (Results 1 – 1 of 1) sorted by relevance
181 bool is_more_general_than(const Representation& other) const { in is_more_general_than() function188 return other.is_more_general_than(*this) || other.Equals(*this); in fits_into()193 if (other.is_more_general_than(*this)) return other; in generalize()