Storm
1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ExprttkAdapter.h
Go to the documentation of this file.
1
#pragma once
2
3
#pragma clang diagnostic push
4
#pragma clang diagnostic ignored "-Wextra-semi-stmt"
5
#pragma clang diagnostic ignored "-Wzero-as-null-pointer-constant"
6
7
// exprtk should be case sensitive in our case.
8
#define exprtk_disable_caseinsensitivity
9
10
#include "exprtk.hpp"
11
12
#pragma clang diagnostic pop
src
storm
adapters
ExprttkAdapter.h
Generated by
1.15.0