libflint/include/input.h

21 lines
359 B
C
Raw Normal View History

2021-12-10 20:41:36 +00:00
#ifndef LIBFLINT_INPUT_H
#define LIBFLINT_INPUT_H
#include <stdlib.h>
2023-05-03 21:46:38 +00:00
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