mCRL2
Loading...
Searching...
No Matches
Classes | Public Member Functions | Private Attributes | List of all members
mcrl2::data::detail::influence_graph Class Reference

#include <parvalues.h>

Classes

struct  edge
 

Public Member Functions

const std::set< edge > & edges () const
 
template<typename VariableContainer , typename UpdateContainer >
void add_edge (const VariableContainer &vars, data_expression cond, const UpdateContainer &up)
 
const elements_per_domain & at (const parameter &v) const
 
bool contains (const parameter &v, const data::data_expression &e) const
 
void new_parameter (const parameter &v, const data::data_expression &e)
 
bool insert (const parameter &v, const data::data_expression &e)
 
bool has_available_next_values_from_the_previous_round (const parameter &v)
 
bool stable () const
 
void new_round ()
 
long double product_size ()
 
std::string report (bool joined=true)
 

Private Attributes

std::map< parameter, elements_per_domain > m_nodes
 
std::set< edge > m_edges
 

Detailed Description

Definition at line 91 of file parvalues.h.

Member Function Documentation

◆ add_edge()

template<typename VariableContainer , typename UpdateContainer >
void mcrl2::data::detail::influence_graph::add_edge ( const VariableContainer &  vars,
data_expression  cond,
const UpdateContainer &  up 
)
inline

Definition at line 134 of file parvalues.h.

◆ at()

const elements_per_domain & mcrl2::data::detail::influence_graph::at ( const parameter &  v) const
inline

Definition at line 141 of file parvalues.h.

◆ contains()

bool mcrl2::data::detail::influence_graph::contains ( const parameter &  v,
const data::data_expression &  e 
) const
inline

Definition at line 149 of file parvalues.h.

◆ edges()

const std::set< edge > & mcrl2::data::detail::influence_graph::edges ( ) const
inline

Definition at line 128 of file parvalues.h.

◆ has_available_next_values_from_the_previous_round()

bool mcrl2::data::detail::influence_graph::has_available_next_values_from_the_previous_round ( const parameter &  v)
inline

Definition at line 177 of file parvalues.h.

◆ insert()

bool mcrl2::data::detail::influence_graph::insert ( const parameter &  v,
const data::data_expression &  e 
)
inline

Definition at line 166 of file parvalues.h.

◆ new_parameter()

void mcrl2::data::detail::influence_graph::new_parameter ( const parameter &  v,
const data::data_expression &  e 
)
inline

Definition at line 158 of file parvalues.h.

◆ new_round()

void mcrl2::data::detail::influence_graph::new_round ( )
inline

Definition at line 198 of file parvalues.h.

◆ product_size()

long double mcrl2::data::detail::influence_graph::product_size ( )
inline

Definition at line 209 of file parvalues.h.

◆ report()

std::string mcrl2::data::detail::influence_graph::report ( bool  joined = true)
inline

Definition at line 221 of file parvalues.h.

◆ stable()

bool mcrl2::data::detail::influence_graph::stable ( ) const
inline

Definition at line 190 of file parvalues.h.

Member Data Documentation

◆ m_edges

std::set<edge> mcrl2::data::detail::influence_graph::m_edges
private

Definition at line 124 of file parvalues.h.

◆ m_nodes

std::map<parameter, elements_per_domain> mcrl2::data::detail::influence_graph::m_nodes
private

Definition at line 123 of file parvalues.h.

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