Storm 1.14.0.1
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#pragma GCC diagnostic push
6#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
7
8#include "spot/tl/formula.hh"
9#include "spot/tl/parse.hh"
10#include "spot/twaalgos/dot.hh"
11#include "spot/twaalgos/hoa.hh"
12#include "spot/twaalgos/totgba.hh"
13#include "spot/twaalgos/translate.hh"
14
15#pragma GCC diagnostic pop
16#endif