lts2pbes_rhs.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::lts2pbes_parameters
struct	mcrl2::pbes_system::detail::lts2pbes_counter_example_parameters
struct	mcrl2::pbes_system::detail::rhs_lts2pbes_traverser< Derived, TermTraits, Parameters >
struct	mcrl2::pbes_system::detail::apply_rhs_lts2pbes_traverser< Traverser, TermTraits, Parameters >

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.
namespace	mcrl2::pbes_system::detail

Typedefs
using	mcrl2::pbes_system::detail::lts2pbes_state_type = lts::lts_lts_t::states_size_type

Functions
core::identifier_string	mcrl2::pbes_system::detail::make_identifier (const core::identifier_string &name, lts2pbes_state_type s)
template<typename TermTraits , typename Parameters >
pbes_expression	mcrl2::pbes_system::detail::RHS (const state_formulas::state_formula &x, lts2pbes_state_type s, Parameters &parameters, TermTraits tr)

Detailed Description

add your file description here.

Definition in file lts2pbes_rhs.h.