add isl_space_domain_factor_domain
commit42f954ca910d354c906ed0633238f18af85ae643
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 29 Jan 2014 14:16:03 +0000 (29 15:16 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 10 Feb 2014 12:47:07 +0000 (10 13:47 +0100)
tree5397b33dd527db7bca5220344d674d2c2c6a2702
parentf4c90186952a9388da37f6a90707cb0da77ea9af
add isl_space_domain_factor_domain

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