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