2021-12-10 20:41:36 +00:00
|
|
|
#ifndef LIBFLINT_INPUT_H
|
|
|
|
|
#define LIBFLINT_INPUT_H
|
|
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
|
2023-12-15 21:08:22 +00:00
|
|
|
unsigned char *get_binary(const char *, size_t *fsz);
|
2023-05-03 21:40:57 +00:00
|
|
|
|
2021-12-10 20:41:36 +00:00
|
|
|
char *get_input(const char *);
|
2022-03-28 17:52:16 +00:00
|
|
|
|
2021-12-10 22:33:37 +00:00
|
|
|
char **split(char *, size_t *, const char *);
|
2022-03-28 17:52:16 +00:00
|
|
|
|
2021-12-10 20:41:36 +00:00
|
|
|
char **get_lines(const char *, size_t *);
|
2022-03-28 17:52:16 +00:00
|
|
|
|
2021-12-10 20:41:36 +00:00
|
|
|
int *get_ints(const char *, size_t *);
|
2022-03-28 17:52:16 +00:00
|
|
|
|
2021-12-10 20:41:36 +00:00
|
|
|
void del_split(char **);
|
2022-03-28 17:52:16 +00:00
|
|
|
|
2021-12-10 20:41:36 +00:00
|
|
|
void del_lines(char **);
|
|
|
|
|
|
|
|
|
|
#endif // LIBFLINT_INPUT_H
|
