mCRL2
|
Go to the source code of this file.
Classes | |
class | mcrl2::data::detail::variable_or_number |
This is a list where variables and aterm ints can be stored. More... | |
class | mcrl2::data::detail::match_tree |
class | mcrl2::data::detail::match_tree_S |
class | mcrl2::data::detail::match_tree_A |
class | mcrl2::data::detail::match_tree_M |
class | mcrl2::data::detail::match_tree_F |
class | mcrl2::data::detail::match_tree_MachineNumber |
class | mcrl2::data::detail::match_tree_N |
class | mcrl2::data::detail::match_tree_D |
class | mcrl2::data::detail::match_tree_R |
class | mcrl2::data::detail::match_tree_C |
class | mcrl2::data::detail::match_tree_X |
class | mcrl2::data::detail::match_tree_Re |
class | mcrl2::data::detail::match_tree_CRe |
class | mcrl2::data::detail::match_tree_Me |
class | mcrl2::data::detail::build_pars |
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::data |
Namespace for all data library functionality. | |
namespace | mcrl2::data::detail |
Typedefs | |
typedef atermpp::term_list< variable_or_number > | mcrl2::data::detail::variable_or_number_list |
typedef atermpp::term_list< match_tree > | mcrl2::data::detail::match_tree_list |
typedef std::vector< match_tree > | mcrl2::data::detail::match_tree_vector |
typedef atermpp::term_list< match_tree_list > | mcrl2::data::detail::match_tree_list_list |
typedef atermpp::term_list< match_tree_list_list > | mcrl2::data::detail::match_tree_list_list_list |
Functions | |
std::ostream & | mcrl2::data::detail::operator<< (std::ostream &s, const match_tree &t) |