Blame isl-0.16.1/isl_output_private.h
|
Packit |
fb9d21 |
#include <isl/space.h>
|
|
Packit |
fb9d21 |
#include <isl/printer.h>
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
/* Internal data structure for isl_print_space.
|
|
Packit |
fb9d21 |
*
|
|
Packit |
fb9d21 |
* latex is set if that is the output format.
|
|
Packit |
fb9d21 |
* print_dim (if not NULL) is called on each dimension.
|
|
Packit |
fb9d21 |
* user is set by the caller of print_space and may be used inside print_dim.
|
|
Packit |
fb9d21 |
*
|
|
Packit |
fb9d21 |
* space is the global space that is being printed. This field is set by
|
|
Packit |
fb9d21 |
* print_space.
|
|
Packit |
fb9d21 |
* type is the tuple of the global space that is currently being printed.
|
|
Packit |
fb9d21 |
* This field is set by print_space.
|
|
Packit |
fb9d21 |
*/
|
|
Packit |
fb9d21 |
struct isl_print_space_data {
|
|
Packit |
fb9d21 |
int latex;
|
|
Packit |
fb9d21 |
__isl_give isl_printer *(*print_dim)(__isl_take isl_printer *p,
|
|
Packit |
fb9d21 |
struct isl_print_space_data *data, unsigned pos);
|
|
Packit |
fb9d21 |
void *user;
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
isl_space *space;
|
|
Packit |
fb9d21 |
enum isl_dim_type type;
|
|
Packit |
fb9d21 |
};
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
__isl_give isl_printer *isl_print_space(__isl_keep isl_space *space,
|
|
Packit |
fb9d21 |
__isl_take isl_printer *p, int rational,
|
|
Packit |
fb9d21 |
struct isl_print_space_data *data);
|