mCRL2
Loading...
Searching...
No Matches
match_tree.h File Reference

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_numbermcrl2::data::detail::variable_or_number_list
 
typedef atermpp::term_list< match_treemcrl2::data::detail::match_tree_list
 
typedef std::vector< match_treemcrl2::data::detail::match_tree_vector
 
typedef atermpp::term_list< match_tree_listmcrl2::data::detail::match_tree_list_list
 
typedef atermpp::term_list< match_tree_list_listmcrl2::data::detail::match_tree_list_list_list
 

Functions

std::ostream & mcrl2::data::detail::operator<< (std::ostream &s, const match_tree &t)