mCRL2
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | List of all members
mcrl2::data::expression_traits< Expression > Struct Template Reference

expression traits (currently nothing more than core::term_traits) More...

#include <expression_traits.h>

Inheritance diagram for mcrl2::data::expression_traits< Expression >:
mcrl2::core::term_traits< Expression >

Public Types

typedef mcrl2::data::variable variable_type
 

Static Public Member Functions

static bool is_true (const data_expression &e)
 
static bool is_false (const data_expression &e)
 
static bool is_application (const data_expression &e)
 
static bool is_abstraction (const data_expression &e)
 
static const data_expression & head (const data_expression &e)
 
static const data_expression_list & variables (const data_expression &a)
 
static const data_expression & body (const data_expression &a)
 
static data_expression replace_body (const data_expression &variable_binder, const data_expression &new_body)
 
template<typename Container >
static application application (const data_expression &e, const Container &arguments)
 
static const data_expression & false_ ()
 
static const data_expression & true_ ()
 
static data_expression and_ (const data_expression &e1, const data_expression &e2)
 
static data_expression or_ (const data_expression &e1, const data_expression &e2)
 

Detailed Description

template<typename Expression>
struct mcrl2::data::expression_traits< Expression >

expression traits (currently nothing more than core::term_traits)

Definition at line 336 of file expression_traits.h.

Member Typedef Documentation

◆ variable_type

template<typename Expression >
typedef mcrl2::data::variable mcrl2::data::expression_traits< Expression >::variable_type

Definition at line 339 of file expression_traits.h.

Member Function Documentation

◆ and_()

template<typename Expression >
static data_expression mcrl2::data::expression_traits< Expression >::and_ ( const data_expression &  e1,
const data_expression &  e2 
)
inlinestatic

Definition at line 398 of file expression_traits.h.

◆ application()

template<typename Expression >
template<typename Container >
static application mcrl2::data::expression_traits< Expression >::application ( const data_expression &  e,
const Container &  arguments 
)
inlinestatic

Definition at line 383 of file expression_traits.h.

◆ body()

template<typename Expression >
static const data_expression & mcrl2::data::expression_traits< Expression >::body ( const data_expression &  a)
inlinestatic

Definition at line 371 of file expression_traits.h.

◆ false_()

template<typename Expression >
static const data_expression & mcrl2::data::expression_traits< Expression >::false_ ( )
inlinestatic

Definition at line 388 of file expression_traits.h.

◆ head()

template<typename Expression >
static const data_expression & mcrl2::data::expression_traits< Expression >::head ( const data_expression &  e)
inlinestatic

Definition at line 361 of file expression_traits.h.

◆ is_abstraction()

template<typename Expression >
static bool mcrl2::data::expression_traits< Expression >::is_abstraction ( const data_expression &  e)
inlinestatic

Definition at line 356 of file expression_traits.h.

◆ is_application()

template<typename Expression >
static bool mcrl2::data::expression_traits< Expression >::is_application ( const data_expression &  e)
inlinestatic

Definition at line 351 of file expression_traits.h.

◆ is_false()

template<typename Expression >
static bool mcrl2::data::expression_traits< Expression >::is_false ( const data_expression &  e)
inlinestatic

Definition at line 346 of file expression_traits.h.

◆ is_true()

template<typename Expression >
static bool mcrl2::data::expression_traits< Expression >::is_true ( const data_expression &  e)
inlinestatic

Definition at line 341 of file expression_traits.h.

◆ or_()

template<typename Expression >
static data_expression mcrl2::data::expression_traits< Expression >::or_ ( const data_expression &  e1,
const data_expression &  e2 
)
inlinestatic

Definition at line 403 of file expression_traits.h.

◆ replace_body()

template<typename Expression >
static data_expression mcrl2::data::expression_traits< Expression >::replace_body ( const data_expression &  variable_binder,
const data_expression &  new_body 
)
inlinestatic

Definition at line 376 of file expression_traits.h.

◆ true_()

template<typename Expression >
static const data_expression & mcrl2::data::expression_traits< Expression >::true_ ( )
inlinestatic

Definition at line 393 of file expression_traits.h.

◆ variables()

template<typename Expression >
static const data_expression_list & mcrl2::data::expression_traits< Expression >::variables ( const data_expression &  a)
inlinestatic

Definition at line 366 of file expression_traits.h.

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