Searched defs:computedRel (Results 1 – 1 of 1) sorted by relevance
54 PresburgerRelation computedRel = rel.intersectDomain(set); in TEST() local91 PresburgerRelation computedRel = rel.intersectRange(set); in TEST() local