mcrl2::data::detail::one_point_rule_preprocessor Struct Reference

#include <one_point_rule_preprocessor.h>

Public Member Functions
data::data_expression	operator() (const data::data_expression &x) const

Detailed Description

Definition at line 20 of file one_point_rule_preprocessor.h.

Member Function Documentation

operator()()

data::data_expression mcrl2::data::detail::one_point_rule_preprocessor::operator() ( const data::data_expression &  x ) const

inline

Definition at line 23 of file one_point_rule_preprocessor.h.

---

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

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