isl_pw_lift_templ.c File Reference

#include <isl_pw_macro.h>

Go to the source code of this file.

Functions
static isl_stat	foreach_lifted_subset (__isl_take isl_set *set, __isl_take EL *el, isl_stat(*fn)(__isl_take isl_set *set, __isl_take EL *el, void *user), void *user)
isl_stat	FN (PW, foreach_lifted_piece)

Function Documentation

FN()

isl_stat FN	(	PW	,
		foreach_lifted_piece	)

Definition at line 47 of file isl_pw_lift_templ.c.

References __isl_keep, __isl_take, any(), EL, FN, fn, foreach_lifted_subset(), isl_set, isl_set_copy(), isl_set_involves_locals(), isl_stat_error, isl_stat_ok, PW, set, and user.

foreach_lifted_subset()

isl_stat foreach_lifted_subset ( __isl_take isl_set * set, __isl_take EL * el, isl_stat(* fn )(__isl_take isl_set *set, __isl_take EL *el, void *user), void * user )

static

Definition at line 13 of file isl_pw_lift_templ.c.

References __isl_take, EL, FN, fn, isl_basic_set_copy(), isl_set, isl_set_free(), isl_set_from_basic_set(), isl_set_get_space(), isl_set_lift(), isl_stat_error, isl_stat_ok, lift(), set, and user.

Referenced by FN().