lps2pbes_rhs.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::lps2pbes_parameters
struct	mcrl2::pbes_system::detail::lps2pbes_counter_example_parameters
struct	mcrl2::pbes_system::detail::rhs_traverser< Derived, TermTraits, Parameters >
struct	mcrl2::pbes_system::detail::apply_rhs_traverser< Traverser, TermTraits, Parameters >
struct	mcrl2::pbes_system::detail::rhs_structured_traverser< Derived, TermTraits, Parameters >
struct	mcrl2::pbes_system::detail::apply_rhs_structured_traverser< Traverser, TermTraits, Parameters >

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Functions
template<typename TermTraits , typename Parameters >
pbes_expression	mcrl2::pbes_system::detail::RHS (const state_formulas::state_formula &x, Parameters &parameters, TermTraits tr)
template<typename TermTraits , typename Parameters >
TermTraits::term_type	mcrl2::pbes_system::detail::RHS_structured (const state_formulas::state_formula &x, Parameters &parameters, const data::variable_list &variables, const fixpoint_symbol &sigma, std::vector< pbes_equation > &equations, TermTraits tr)

Detailed Description

add your file description here.

Definition in file lps2pbes_rhs.h.