Searched defs:expectedRel (Results 1 – 2 of 2) sorted by relevance
39 PresburgerRelation expectedRel = parsePresburgerRelationFromPresburgerSet( in TEST() local76 PresburgerRelation expectedRel = parsePresburgerRelationFromPresburgerSet( in TEST() local308 PresburgerRelation expectedRel(disj1); in TEST() local
65 IntegerRelation expectedRel = parseRelationFromSet( in TEST() local79 IntegerRelation expectedRel = parseRelationFromSet( in TEST() local511 IntegerRelation expectedRel = parseIntegerPolyhedron( in TEST() local541 IntegerRelation expectedRel = in TEST() local