mcrl2::data::detail::build_pars Class Reference

#include <match_tree.h>

Public Member Functions
	build_pars ()

Public Attributes
match_tree_list_list	Flist
match_tree_list_list	Slist
match_tree_list_list	Mlist
match_tree_list_list_list	stack
match_tree_list_list	upstack

Detailed Description

Definition at line 580 of file match_tree.h.

Constructor & Destructor Documentation

build_pars()

mcrl2::data::detail::build_pars::build_pars ( )

inline

Definition at line 592 of file match_tree.h.

Member Data Documentation

Flist

match_tree_list_list mcrl2::data::detail::build_pars::Flist

Definition at line 583 of file match_tree.h.

Mlist

match_tree_list_list mcrl2::data::detail::build_pars::Mlist

Definition at line 585 of file match_tree.h.

Slist

match_tree_list_list mcrl2::data::detail::build_pars::Slist

Definition at line 584 of file match_tree.h.

stack

match_tree_list_list_list mcrl2::data::detail::build_pars::stack

Definition at line 586 of file match_tree.h.

upstack

match_tree_list_list mcrl2::data::detail::build_pars::upstack

Definition at line 588 of file match_tree.h.

---

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

• data/include/mcrl2/data/detail/rewrite/match_tree.h