Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm-parsers-api.h
Go to the documentation of this file.
1#pragma once
2
3// Exports storm-parsers' public symbols; the library is compiled with hidden visibility.
4#if defined(__GNUC__) || defined(__clang__)
5#define STORM_PARSERS_API __attribute__((visibility("default")))
6#else
7#define STORM_PARSERS_API
8#endif