| commit | a32e4c105e78554fa5637a55740db14e9e825e6c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 21 Apr 2017 16:39:47 +0000 (21 18:39 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Wed, 7 Jun 2017 12:16:01 +0000 (7 14:16 +0200) | ||
| tree | 3d7037be17c1dac99c7004e66c7643a41851fa2e | treesnapshot (tar.gz zip) |
| parent | f7a6865b5104a569e05cf1025a6c5a3075211d22 | commitdiff |
isl_basic_set_lineality_space: allow local variables in input
Even though lineality spaces are originally defined on rational sets,
in particular sets without local variables, the same mechanism
still makes sense on sets with local variables.
Allow them to ensure that isl_basic_set_lineality_space can
be applied to any basic set.
This will allow isl_basic_set_lineality_space to be used
as a basis for an isl_union_set_combined_lineality_space,
without having to worry about local variables,
even though the initial use case for isl_union_set_combined_lineality_space
will not actually use it on sets with local variables.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Even though lineality spaces are originally defined on rational sets,
in particular sets without local variables, the same mechanism
still makes sense on sets with local variables.
Allow them to ensure that isl_basic_set_lineality_space can
be applied to any basic set.
This will allow isl_basic_set_lineality_space to be used
as a basis for an isl_union_set_combined_lineality_space,
without having to worry about local variables,
even though the initial use case for isl_union_set_combined_lineality_space
will not actually use it on sets with local variables.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_convex_hull.c | diffblobblamehistory |