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> mcrl2::data::substitution_variables(const map_substitution<AssociativeContainer> &sigma)¶