mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::lps::explorer_summand Struct Reference

#include <explorer_utilities.h>

Public Member Functions

void set_projection_attributes (const std::vector< std::size_t > &Ir, const std::vector< std::size_t > &Iw)
 
template<typename ActionSummand >
 explorer_summand (const ActionSummand &summand, std::size_t summand_index, const data::variable_list &process_parameters, caching cache_strategy_)
 
template<typename T >
std::vector< data::variable > free_variables (const T &x, const data::variable_list &v)
 
void compute_key (atermpp::aterm &key, data::mutable_indexed_substitution<> &sigma) const
 

Public Attributes

data::variable_list variables
 
data::data_expression condition
 
lps::multi_action multi_action
 
stochastic_distribution distribution
 
std::vector< data::data_expression > next_state
 
std::size_t index
 
caching cache_strategy
 
std::vector< data::variable > gamma
 
atermpp::function_symbol f_gamma
 
summand_cache_map local_cache
 
std::vector< std::size_t > I_r
 
std::vector< std::size_t > I_w
 
projection_cache_map projection_cache
 

Detailed Description

Definition at line 179 of file explorer_utilities.h.

Constructor & Destructor Documentation

◆ explorer_summand()

template<typename ActionSummand >
mcrl2::lps::explorer_summand::explorer_summand ( const ActionSummand &  summand,
std::size_t  summand_index,
const data::variable_list &  process_parameters,
caching  cache_strategy_ 
)
inline

Definition at line 210 of file explorer_utilities.h.

Member Function Documentation

◆ compute_key()

void mcrl2::lps::explorer_summand::compute_key ( atermpp::aterm &  key,
data::mutable_indexed_substitution<> &  sigma 
) const
inline

Definition at line 243 of file explorer_utilities.h.

◆ free_variables()

template<typename T >
std::vector< data::variable > mcrl2::lps::explorer_summand::free_variables ( const T &  x,
const data::variable_list &  v 
)
inline

Definition at line 228 of file explorer_utilities.h.

◆ set_projection_attributes()

void mcrl2::lps::explorer_summand::set_projection_attributes ( const std::vector< std::size_t > &  Ir,
const std::vector< std::size_t > &  Iw 
)
inline

Definition at line 199 of file explorer_utilities.h.

Member Data Documentation

◆ cache_strategy

caching mcrl2::lps::explorer_summand::cache_strategy

Definition at line 189 of file explorer_utilities.h.

◆ condition

data::data_expression mcrl2::lps::explorer_summand::condition

Definition at line 182 of file explorer_utilities.h.

◆ distribution

stochastic_distribution mcrl2::lps::explorer_summand::distribution

Definition at line 184 of file explorer_utilities.h.

◆ f_gamma

atermpp::function_symbol mcrl2::lps::explorer_summand::f_gamma

Definition at line 191 of file explorer_utilities.h.

◆ gamma

std::vector<data::variable> mcrl2::lps::explorer_summand::gamma

Definition at line 190 of file explorer_utilities.h.

◆ I_r

std::vector<std::size_t> mcrl2::lps::explorer_summand::I_r

Definition at line 195 of file explorer_utilities.h.

◆ I_w

std::vector<std::size_t> mcrl2::lps::explorer_summand::I_w

Definition at line 196 of file explorer_utilities.h.

◆ index

std::size_t mcrl2::lps::explorer_summand::index

Definition at line 186 of file explorer_utilities.h.

◆ local_cache

summand_cache_map mcrl2::lps::explorer_summand::local_cache
mutable

Definition at line 192 of file explorer_utilities.h.

◆ multi_action

lps::multi_action mcrl2::lps::explorer_summand::multi_action

Definition at line 183 of file explorer_utilities.h.

◆ next_state

std::vector<data::data_expression> mcrl2::lps::explorer_summand::next_state

Definition at line 185 of file explorer_utilities.h.

◆ projection_cache

projection_cache_map mcrl2::lps::explorer_summand::projection_cache
mutable

Definition at line 197 of file explorer_utilities.h.

◆ variables

data::variable_list mcrl2::lps::explorer_summand::variables

Definition at line 181 of file explorer_utilities.h.

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