Telamon
Namespaces | Variables
NormalizedRepresentation.hh File Reference

Provides the foundational structure of a normalized structure which the simulated algorithm is required to adhere to. More...

#include <concepts>
#include <variant>
#include <vector>
#include <thread>
#include <algorithm>
#include <ranges>
#include <mutex>
#include <numeric>
#include <utility>
#include <iterator>
#include <optional>
#include <extern/expected_lite/expected.hpp>
#include "Versioning.hh"

Go to the source code of this file.

Namespaces

 telamon_simulator
 This module encapsulates the implementation of the simulator.
 

Variables

template<typename Commit >
concept telamon_simulator::Commits
 Requires commit to be iterable and its items to satisfy CasWithVersioning. More...
 
template<typename LockFree >
concept telamon_simulator::NormalizedRepresentation
 Here are the operations which are required to be described in the lock-free algorithm in order to use the simulation. There are 3 types which the lock-free has to define according to its specifics as well as 3 functions. More...
 

Detailed Description

Provides the foundational structure of a normalized structure which the simulated algorithm is required to adhere to.