mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer > Struct Template Reference

Generic substitution function. The substitution is stored as a sequence of variables and a sequence of expressions. More...

#include <sequence_sequence_substitution.h>

Public Types
typedef VariableContainer::value_type	variable_type
	type used to represent variables
typedef ExpressionContainer::value_type	expression_type
	type used to represent expressions
using	argument_type = variable_type
using	result_type = expression_type

Public Member Functions
	sequence_sequence_substitution (const VariableContainer &variables_, const ExpressionContainer &expressions_)
expression_type	operator() (const variable_type &v) const
std::string	to_string () const

Public Attributes
const VariableContainer &	variables
const ExpressionContainer &	expressions

Detailed Description

template<typename VariableContainer, typename ExpressionContainer>
struct mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >

Generic substitution function. The substitution is stored as a sequence of variables and a sequence of expressions.

Definition at line 25 of file sequence_sequence_substitution.h.

Member Typedef Documentation

argument_type

template<typename VariableContainer , typename ExpressionContainer >

using mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::argument_type = variable_type

Definition at line 33 of file sequence_sequence_substitution.h.

expression_type

template<typename VariableContainer , typename ExpressionContainer >

typedef ExpressionContainer::value_type mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::expression_type

type used to represent expressions

Definition at line 31 of file sequence_sequence_substitution.h.

result_type

template<typename VariableContainer , typename ExpressionContainer >

using mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::result_type = expression_type

Definition at line 34 of file sequence_sequence_substitution.h.

variable_type

template<typename VariableContainer , typename ExpressionContainer >

typedef VariableContainer::value_type mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::variable_type

type used to represent variables

Definition at line 28 of file sequence_sequence_substitution.h.

Constructor & Destructor Documentation

sequence_sequence_substitution()

template<typename VariableContainer , typename ExpressionContainer >

mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::sequence_sequence_substitution ( const VariableContainer &  variables_, const ExpressionContainer &  expressions_  )

inline

Definition at line 39 of file sequence_sequence_substitution.h.

Member Function Documentation

operator()()

template<typename VariableContainer , typename ExpressionContainer >

expression_type mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::operator() ( const variable_type &  v ) const

inline

Definition at line 46 of file sequence_sequence_substitution.h.

to_string()

template<typename VariableContainer , typename ExpressionContainer >

std::string mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::to_string ( ) const

inline

Definition at line 61 of file sequence_sequence_substitution.h.

Member Data Documentation

expressions

template<typename VariableContainer , typename ExpressionContainer >

const ExpressionContainer& mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::expressions

Definition at line 37 of file sequence_sequence_substitution.h.

variables

template<typename VariableContainer , typename ExpressionContainer >

const VariableContainer& mcrl2::data::sequence_sequence_substitution< VariableContainer, ExpressionContainer >::variables

Definition at line 36 of file sequence_sequence_substitution.h.

---

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

• data/include/mcrl2/data/substitutions/sequence_sequence_substitution.h