From 321697460a774dcca283c4e9e7956ab211a76b7f Mon Sep 17 00:00:00 2001 From: Jeroen Meijer Date: Fri, 29 Jun 2018 15:04:28 +0200 Subject: [PATCH] Move non portable includes from public to private header. --- Makefile.am | 2 +- alternating.c | 2 ++ buchi.c | 2 ++ generalized.c | 3 +++ ltl2ba.h | 4 ---- util.c | 1 + util.h | 8 ++++++++ 7 files changed, 17 insertions(+), 5 deletions(-) create mode 100644 util.h diff --git a/Makefile.am b/Makefile.am index ff45a95..c5c816f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -20,7 +20,7 @@ libltl2ba_la_SOURCES += rewrt.c libltl2ba_la_SOURCES += cache.c libltl2ba_la_SOURCES += alternating.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_LIBADD = $(top_builddir)/lib/libgnu.la diff --git a/alternating.c b/alternating.c index b5b484f..5c60776 100644 --- a/alternating.c +++ b/alternating.c @@ -28,6 +28,8 @@ /* http://www.lsv.ens-cachan.fr/~gastin */ #include "ltl2ba.h" +#include "util.h" +#include /********************************************************************\ |* Structures and shared variables *| diff --git a/buchi.c b/buchi.c index 9cf2a21..2faa273 100644 --- a/buchi.c +++ b/buchi.c @@ -28,6 +28,8 @@ /* http://www.lsv.ens-cachan.fr/~gastin */ #include "ltl2ba.h" +#include "util.h" +#include /********************************************************************\ |* Structures and shared variables *| diff --git a/generalized.c b/generalized.c index 0ce93f5..11cb9b1 100644 --- a/generalized.c +++ b/generalized.c @@ -28,6 +28,9 @@ /* http://www.lsv.ens-cachan.fr/~gastin */ #include "ltl2ba.h" +#include "util.h" +#include +#include /********************************************************************\ |* Structures and shared variables *| diff --git a/ltl2ba.h b/ltl2ba.h index eefb239..bb3ce29 100644 --- a/ltl2ba.h +++ b/ltl2ba.h @@ -33,8 +33,6 @@ #include #include #include -#include -#include typedef struct Symbol { char *name; @@ -231,8 +229,6 @@ int included_set(int *, int *, int); int in_set(int *, int); int *list_set(int *, int); -int timeval_subtract (struct timeval *, struct timeval *, struct timeval *); - #define ZN (Node *)0 #define ZS (Symbol *)0 #define Nhash 255 diff --git a/util.c b/util.c index eba924f..741f25e 100644 --- a/util.c +++ b/util.c @@ -1,4 +1,5 @@ #include "ltl2ba.h" +#include "util.h" FILE *tl_out = NULL; diff --git a/util.h b/util.h new file mode 100644 index 0000000..d1ccb50 --- /dev/null +++ b/util.h @@ -0,0 +1,8 @@ +#ifndef LTL2BA_UTIL_H +#define LTL2BA_UTIL_H + +#include + +int timeval_subtract (struct timeval *, struct timeval *, struct timeval *); + +#endif