isl_tab_pip.c: rename isl_trivial_global to isl_lexmin_data
commitf2930cb1c30755a41c09ded4392c7aa4098cac91
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 21 Aug 2017 07:59:30 +0000 (21 09:59 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 27 Sep 2017 07:23:34 +0000 (27 09:23 +0200)
treecb99e1cd99e2cf94bdaf82c4c061d69349d5dc0c
parent36f027d9401316d91fb84ea2f7f328da6f0825b5
isl_tab_pip.c: rename isl_trivial_global to isl_lexmin_data

The data structure contains (global) data that is used by
the isl_tab_basic_set_non_trivial_lexmin function,
but that is not necessarily related to trivialities.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_tab_pip.c