Skip to content

File permanent_data.hpp

FileList > backends > cxx > include > zmbt > model > permanent_data.hpp

Go to the source code of this file

More...

  • #include <functional>
  • #include <boost/unordered/concurrent_flat_map.hpp>
  • #include <boost/optional.hpp>
  • #include "zmbt/core.hpp"
  • #include "zmbt/reflect/prototypes.hpp"
  • #include "output_recorder.hpp"

Namespaces

Type Name
namespace zmbt
ZMBT root namespace.

Classes

Type Name
struct PermanentEnvData

Macros

Type Name
define BOOST_UNORDERED_DISABLE_REENTRANCY_CHECK

Detailed Description

Copyright:

(c) Copyright 2022-2023 Volvo Car Corporation

Copyright:

(c) Copyright 2024 Zenseact AB

** **

SPDX-License-Identifier: Apache-2.0

Macro Definition Documentation

define BOOST_UNORDERED_DISABLE_REENTRANCY_CHECK

#define BOOST_UNORDERED_DISABLE_REENTRANCY_CHECK 


The documentation for this class was generated from the following file zmbt-framework/zmbt-framework/backends/cxx/include/zmbt/model/permanent_data.hpp