repo.or.cz
/
isl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
isl_tab: add isl_basic_set field for optionally keeping track of inequalities
[isl.git]
/
isl_map_no_piplib.c
blob
202c4fe548235195b64a615afcb0bbe5c82ee981
1
#include
"isl_map_piplib.h"
2
3
struct
isl_map
*
isl_pip_basic_map_lexopt
(
4
struct
isl_basic_map
*
bmap
,
struct
isl_basic_set
*
dom
,
5
struct
isl_set
**
empty
,
int
max
)
6
{
7
isl_basic_map_free
(
bmap
);
8
isl_basic_set_free
(
dom
);
9
return
NULL
;
10
}