mcrl2/data/expression_traits.h

Include file:

#include "mcrl2/data/expression_traits.h"

Contains term traits for data_expression.

Classes

  • mcrl2::data::expression_traits

  • mcrl2::core::term_traits