Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
MathsatExpressionAdapter.cpp
Go to the documentation of this file.
1#include "storm/adapters/MathsatExpressionAdapter.h"
2
3#ifdef STORM_HAVE_MSAT
4bool operator==(msat_decl decl1, msat_decl decl2) {
5 return decl1.repr == decl2.repr;
6}
7#endif
storm::dft::storage::operator==
bool operator==(BEColourClass< ValueType > const &lhs, BEColourClass< ValueType > const &rhs)
Definition DFTIsomorphism.h:82