mcrl2::data::detail::parser Class Reference

#include <test_rewriters.h>

Public Member Functions
	parser (const std::string &var_decl=VARIABLE_SPECIFICATION(), const std::string &data_spec="")
data_expression	operator() (const std::string &expr)

Protected Attributes
std::string	m_var_decl
std::string	m_data_spec

Detailed Description

Definition at line 206 of file test_rewriters.h.

Constructor & Destructor Documentation

parser()

mcrl2::data::detail::parser::parser ( const std::string &  var_decl = VARIABLE_SPECIFICATION(), const std::string &  data_spec = ""  )

inline

Definition at line 214 of file test_rewriters.h.

Member Function Documentation

operator()()

data_expression mcrl2::data::detail::parser::operator() ( const std::string &  expr )

inline

Definition at line 219 of file test_rewriters.h.

Member Data Documentation

m_data_spec

std::string mcrl2::data::detail::parser::m_data_spec

protected

Definition at line 210 of file test_rewriters.h.

m_var_decl

std::string mcrl2::data::detail::parser::m_var_decl

protected

Definition at line 209 of file test_rewriters.h.

---

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

• data/include/mcrl2/data/detail/test_rewriters.h