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
src
storm-parsers
storm-parsers-api.h
Generated by
1.15.0