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

#include <partial_order_reduction.h>

Public Member Functions

 summand_class ()=default
 
 summand_class (data::variable_list e_, data::data_expression f_, data::data_expression_list g_, std::size_t n)
 
void set_num_summands (const std::size_t N)
 
bool depends (std::size_t i) const
 
bool depends (std::size_t i, std::size_t j) const
 
void print (std::ostream &out, const std::set< std::size_t > &s, const std::size_t N) const
 
void print (std::ostream &out) const
 

Public Attributes

data::variable_list e
 
data::data_expression f
 
data::data_expression_list g
 
std::vector< std::set< std::size_t > > nxt
 Encodes the dependency relation belonging to this summand_class.
 
summand_set NES
 
summand_set DNA
 
summand_set DNS
 
summand_set DNL
 
bool is_deterministic = false
 

Detailed Description

Definition at line 71 of file partial_order_reduction.h.

Constructor & Destructor Documentation

◆ summand_class() [1/2]

mcrl2::pbes_system::summand_class::summand_class ( )
default

◆ summand_class() [2/2]

mcrl2::pbes_system::summand_class::summand_class ( data::variable_list  e_,
data::data_expression  f_,
data::data_expression_list  g_,
std::size_t  n 
)
inline

Definition at line 88 of file partial_order_reduction.h.

Member Function Documentation

◆ depends() [1/2]

bool mcrl2::pbes_system::summand_class::depends ( std::size_t  i) const
inline

Definition at line 104 of file partial_order_reduction.h.

◆ depends() [2/2]

bool mcrl2::pbes_system::summand_class::depends ( std::size_t  i,
std::size_t  j 
) const
inline

Definition at line 111 of file partial_order_reduction.h.

◆ print() [1/2]

void mcrl2::pbes_system::summand_class::print ( std::ostream &  out) const
inline

Definition at line 128 of file partial_order_reduction.h.

◆ print() [2/2]

void mcrl2::pbes_system::summand_class::print ( std::ostream &  out,
const std::set< std::size_t > &  s,
const std::size_t  N 
) const
inline

Definition at line 118 of file partial_order_reduction.h.

◆ set_num_summands()

void mcrl2::pbes_system::summand_class::set_num_summands ( const std::size_t  N)
inline

Definition at line 94 of file partial_order_reduction.h.

Member Data Documentation

◆ DNA

summand_set mcrl2::pbes_system::summand_class::DNA

Definition at line 80 of file partial_order_reduction.h.

◆ DNL

summand_set mcrl2::pbes_system::summand_class::DNL

Definition at line 82 of file partial_order_reduction.h.

◆ DNS

summand_set mcrl2::pbes_system::summand_class::DNS

Definition at line 81 of file partial_order_reduction.h.

◆ e

data::variable_list mcrl2::pbes_system::summand_class::e

Definition at line 73 of file partial_order_reduction.h.

◆ f

data::data_expression mcrl2::pbes_system::summand_class::f

Definition at line 74 of file partial_order_reduction.h.

◆ g

data::data_expression_list mcrl2::pbes_system::summand_class::g

Definition at line 75 of file partial_order_reduction.h.

◆ is_deterministic

bool mcrl2::pbes_system::summand_class::is_deterministic = false

Definition at line 83 of file partial_order_reduction.h.

◆ NES

summand_set mcrl2::pbes_system::summand_class::NES

Definition at line 79 of file partial_order_reduction.h.

◆ nxt

std::vector<std::set<std::size_t> > mcrl2::pbes_system::summand_class::nxt

Encodes the dependency relation belonging to this summand_class.

nxt[i] contains j iff X_i –this--> X_j

Definition at line 78 of file partial_order_reduction.h.

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