mCRL2
Loading...
Searching...
No Matches
bag.h
Go to the documentation of this file.
1// Author(s): Jeroen Keiren
2// Copyright: see the accompanying file COPYING or copy at
3// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
4//
5// Distributed under the Boost Software License, Version 1.0.
6// (See accompanying file LICENSE_1_0.txt or copy at
7// http://www.boost.org/LICENSE_1_0.txt)
8
9#ifndef MCRL2_DATA_BAG_H
10#define MCRL2_DATA_BAG_H
11
12#ifdef MCRL2_ENABLE_MACHINENUMBERS
13 #include "bag64.h"
14#else
15 #include "bag1.h"
16#endif // MCRL2_ENABLE_MACHINENUMBERS
17
18#endif // MCRL2_DATA_BAG_H