mcrl2/data/substitutions/sequence_sequence_substitution.h

Include file:

#include "mcrl2/data/substitutions/sequence_sequence_substitution.h"

add your file description here.

Classes

• mcrl2::data::sequence_sequence_substitution

Functions

bool mcrl2::data::is_simple_substitution(const sequence_sequence_substitution<VariableContainer, ExpressionContainer> &sigma)

sequence_sequence_substitution<VariableContainer, ExpressionContainer> mcrl2::data::make_sequence_sequence_substitution(const VariableContainer &vc, const ExpressionContainer &ec)

Utility function for creating a sequence_sequence_substitution.

std::ostream &mcrl2::data::operator<<(std::ostream &out, const sequence_sequence_substitution<VariableContainer, ExpressionContainer> &sigma)