mcrl2::pbes_system::partial_order_reduction_algorithm::parameter_info Struct Reference

#include <partial_order_reduction.h>

Public Attributes
std::set< std::size_t >	Ts
std::set< std::size_t >	Ws
std::set< std::size_t >	Rs
std::set< std::size_t >	Vs

Detailed Description

Definition at line 259 of file partial_order_reduction.h.

Member Data Documentation

Rs

std::set<std::size_t> mcrl2::pbes_system::partial_order_reduction_algorithm::parameter_info::Rs

Definition at line 263 of file partial_order_reduction.h.

Ts

std::set<std::size_t> mcrl2::pbes_system::partial_order_reduction_algorithm::parameter_info::Ts

Definition at line 261 of file partial_order_reduction.h.

Vs

std::set<std::size_t> mcrl2::pbes_system::partial_order_reduction_algorithm::parameter_info::Vs

Definition at line 264 of file partial_order_reduction.h.

Ws

std::set<std::size_t> mcrl2::pbes_system::partial_order_reduction_algorithm::parameter_info::Ws

Definition at line 262 of file partial_order_reduction.h.

---

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

• pbes/include/mcrl2/pbes/partial_order_reduction.h