alarsyo/ltl2ba-nix
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Move non portable includes from public to private header.

Browse source
This commit is contained in:
Jeroen Meijer 2018-06-29 15:04:28 +02:00
parent cf7dacebb2
commit 321697460a
7 changed files with 17 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile.am
View file

@ -20,7 +20,7 @@ libltl2ba_la_SOURCES += rewrt.c
libltl2ba_la_SOURCES += cache.c libltl2ba_la_SOURCES += cache.c
libltl2ba_la_SOURCES += alternating.c libltl2ba_la_SOURCES += alternating.c
libltl2ba_la_SOURCES += generalized.c libltl2ba_la_SOURCES += generalized.c
libltl2ba_la_SOURCES += util.c libltl2ba_la_SOURCES += util.h util.c
libltl2ba_la_SOURCES += ltl2ba.h libltl2ba_la_SOURCES += ltl2ba.h
libltl2ba_la_LIBADD = $(top_builddir)/lib/libgnu.la libltl2ba_la_LIBADD = $(top_builddir)/lib/libgnu.la

2
alternating.c
View file

@ -28,6 +28,8 @@
/* http://www.lsv.ens-cachan.fr/~gastin */ /* http://www.lsv.ens-cachan.fr/~gastin */
#include "ltl2ba.h" #include "ltl2ba.h"
#include "util.h"
#include <sys/resource.h>
/********************************************************************\ /********************************************************************\
|* Structures and shared variables *| |* Structures and shared variables *|

2
buchi.c
View file

@ -28,6 +28,8 @@
/* http://www.lsv.ens-cachan.fr/~gastin */ /* http://www.lsv.ens-cachan.fr/~gastin */
#include "ltl2ba.h" #include "ltl2ba.h"
#include "util.h"
#include <sys/resource.h>
/********************************************************************\ /********************************************************************\
|* Structures and shared variables *| |* Structures and shared variables *|

3
generalized.c
View file

@ -28,6 +28,9 @@
/* http://www.lsv.ens-cachan.fr/~gastin */ /* http://www.lsv.ens-cachan.fr/~gastin */
#include "ltl2ba.h" #include "ltl2ba.h"
#include "util.h"
#include <sys/time.h>
#include <sys/resource.h>
/********************************************************************\ /********************************************************************\
|* Structures and shared variables *| |* Structures and shared variables *|

4
ltl2ba.h
View file

@ -33,8 +33,6 @@
#include <stdio.h> #include <stdio.h>
#include <string.h> #include <string.h>
#include <stdlib.h> #include <stdlib.h>
#include <sys/time.h>
#include <sys/resource.h>
typedef struct Symbol { typedef struct Symbol {
char *name; char *name;
@ -231,8 +229,6 @@ int included_set(int *, int *, int);
int in_set(int *, int); int in_set(int *, int);
int *list_set(int *, int); int *list_set(int *, int);
int timeval_subtract (struct timeval *, struct timeval *, struct timeval *);
#define ZN (Node *)0 #define ZN (Node *)0
#define ZS (Symbol *)0 #define ZS (Symbol *)0
#define Nhash 255 #define Nhash 255

1
util.c
View file

@ -1,4 +1,5 @@
#include "ltl2ba.h" #include "ltl2ba.h"
#include "util.h"
FILE *tl_out = NULL; FILE *tl_out = NULL;

8
util.h Normal file
View file

@ -0,0 +1,8 @@
#ifndef LTL2BA_UTIL_H
#define LTL2BA_UTIL_H
#include <sys/time.h>
int timeval_subtract (struct timeval *, struct timeval *, struct timeval *);
#endif