mcrl2/data/substitutions/mutable_map_substitution.h

Include file:

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

add your file description here.

Classes

• mcrl2::data::mutable_map_substitution::assignment
• mcrl2::data::mutable_map_substitution

Functions

bool mcrl2::data::is_simple_substitution(const mutable_map_substitution<AssociativeContainer> &sigma)

mutable_map_substitution<MapContainer> mcrl2::data::make_mutable_map_substitution(const VariableContainer &vc, const ExpressionContainer &ec)

Utility function for creating a mutable_map_substitution.

mutable_map_substitution<std::map<typename VariableContainer::value_type, typename ExpressionContainer::value_type>> mcrl2::data::make_mutable_map_substitution(const VariableContainer &vc, const ExpressionContainer &ec)

std::ostream &mcrl2::data::operator<<(std::ostream &out, const mutable_map_substitution<AssociativeContainer> &sigma)