mCRL2
Loading...
Searching...
No Matches
mcrl2::lps::detail::cheap_cache_key Struct Reference

#include <explorer.h>

Public Member Functions

 cheap_cache_key (data::mutable_indexed_substitution<> &sigma, const std::vector< data::variable > &gamma)
 

Public Attributes

data::mutable_indexed_substitutionm_sigma
 
const std::vector< data::variable > & m_gamma
 

Detailed Description

Definition at line 273 of file explorer.h.

Constructor & Destructor Documentation

◆ cheap_cache_key()

mcrl2::lps::detail::cheap_cache_key::cheap_cache_key ( data::mutable_indexed_substitution<> &  sigma,
const std::vector< data::variable > &  gamma 
)
inline

Definition at line 278 of file explorer.h.

Member Data Documentation

◆ m_gamma

const std::vector<data::variable>& mcrl2::lps::detail::cheap_cache_key::m_gamma

Definition at line 276 of file explorer.h.

◆ m_sigma

data::mutable_indexed_substitution& mcrl2::lps::detail::cheap_cache_key::m_sigma

Definition at line 275 of file explorer.h.


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