mcrl2/data/substitutions/map_substitution.h

Include file:

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

add your file description here.

Classes

  • mcrl2::data::map_substitution

Functions

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

Utility function for creating a map_substitution.

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)
std::set<data::variable> substitution_variables(const mutable_map_substitution<> &sigma)