Home | History | Annotate | Download | only in src

Lines Matching refs:right_rep

5004     Representation right_rep = right()->representation();
5007     result = result.generalize(right_rep);