add isl_space_factor_domain
commite0839a446dffce4291636032e26f182c0665548f
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 27 Oct 2014 13:01:25 +0000 (27 14:01 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 20 Nov 2014 15:22:47 +0000 (20 16:22 +0100)
tree7d8e2106d5cd820ca1802729fa35d2b54e43ab56
parent692e360327cbfff140c23c3e0b341fa0254859ab
add isl_space_factor_domain

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/space.h
isl_space.c