Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SpotAdapter.h
Go to the documentation of this file.
1#pragma once
2#include "storm-config.h"
3
4#ifdef STORM_HAVE_SPOT
5#if defined(__clang__)
6#pragma clang diagnostic push
7#elif defined(__GNUC__)
8#pragma GCC diagnostic push
9#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
10#endif
11
12#include "spot/tl/formula.hh"
13#include "spot/tl/parse.hh"
14#include "spot/twaalgos/dot.hh"
15#include "spot/twaalgos/hoa.hh"
16#include "spot/twaalgos/totgba.hh"
17#include "spot/twaalgos/translate.hh"
18
19#if defined(__clang__)
20#pragma clang diagnostic pop
21#elif defined(__GNUC__)
22#pragma GCC diagnostic pop
23#endif
24#endif