mcrl2::data::detail::is_a_variable Struct Reference

Public Member Functions
bool	operator() (const atermpp::aterm &t) const

Detailed Description

Definition at line 35 of file rewrite.cpp.

Member Function Documentation

operator()()

bool mcrl2::data::detail::is_a_variable::operator() ( const atermpp::aterm &  t ) const

inline

Definition at line 37 of file rewrite.cpp.

---

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

• data/source/detail/rewrite/rewrite.cpp