Searched refs:sink_restr (Results 1 – 3 of 3) sorted by relevance
33 __isl_take isl_set *source_restr, __isl_take isl_set *sink_restr);
88 __isl_take isl_set *source_restr, __isl_take isl_set *sink_restr) in isl_restriction_input() argument93 if (!source_restr || !sink_restr) in isl_restriction_input()103 restr->sink = sink_restr; in isl_restriction_input()108 isl_set_free(sink_restr); in isl_restriction_input()587 isl_set *sink_restr; in restricted_partial_lexmax() local607 sink_restr = isl_set_copy(restr->sink); in restricted_partial_lexmax()608 sink_restr = isl_set_apply(sink_restr, in restricted_partial_lexmax()610 sink = isl_set_intersect(sink, sink_restr); in restricted_partial_lexmax()
10574 __isl_take isl_set *sink_restr);