X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/2b3c6f898db2c17e3be955707629645bbeff91c0..51e97eade63b2f4c7b500feb503436cc4a886e59:/pypol/islhelper.py diff --git a/pypol/islhelper.py b/pypol/islhelper.py index e796618..18e888b 100644 --- a/pypol/islhelper.py +++ b/pypol/islhelper.py @@ -1,3 +1,20 @@ +""" + This file is part of Linpy. + + Linpy is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + Linpy is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with Linpy. If not, see . +""" + import ctypes, ctypes.util from . import _islhelper @@ -12,6 +29,8 @@ __all__ = [ 'isl_basic_set_to_str', 'isl_basic_set_constraints', 'isl_set_to_str', 'isl_set_basic_sets', 'isl_set_points', + 'isl_vertices_vertices', + 'isl_multi_aff_to_str', ] @@ -44,3 +63,11 @@ def isl_set_to_str(islset): islpr = libisl.isl_printer_print_set(islpr, islset) string = libisl.isl_printer_get_str(islpr).decode() return string + +def isl_multi_aff_to_str(islmaff): + islpr = libisl.isl_printer_to_str(mainctx) + islpr = libisl.isl_printer_print_multi_aff(islpr, islmaff) + string = libisl.isl_printer_get_str(islpr).decode() + return string + +# Copyright 2014 MINES ParisTech