/usr/include/dparser/write_tables.h is in mcrl2 201210.1-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 | /*
Copyright 2002-2004 John Plevyak, All Rights Reserved
*/
int write_c_tables(Grammar *g);
int write_binary_tables(Grammar *g);
int write_binary_tables_to_file(Grammar *g, FILE *fp);
int write_binary_tables_to_string(Grammar *g,
unsigned char **str, unsigned int *str_len);
|