Everett
Loading...
Searching...
No Matches
Public Attributes | List of all members
everett::redundant_snapshot< P, Storage >::state Struct Reference

Public Attributes

redundant_frontier< P, Storage > frontier
 
query_type query
 
std::vector< object_pointer > runs
 

Member Data Documentation

◆ frontier

template<class P , class Storage = profile_runtime_storage<P>>
redundant_frontier<P, Storage> everett::redundant_snapshot< P, Storage >::state::frontier

◆ query

template<class P , class Storage = profile_runtime_storage<P>>
query_type everett::redundant_snapshot< P, Storage >::state::query

◆ runs

template<class P , class Storage = profile_runtime_storage<P>>
std::vector<object_pointer> everett::redundant_snapshot< P, Storage >::state::runs

The documentation for this struct was generated from the following file: