mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::data::detail::equality_set_with_top Struct Reference

#include <find_equalities.h>

Public Member Functions

std::set< data_expression > & operator[] (const variable &var)
 
equality_set_with_top & intersect (const equality_set_with_top &other)
 Computes intersection, modifying this set.
 
equality_set_with_top & union_ (const equality_set_with_top &other)
 Computes union, modifying this set.
 
bool non_empty_intersection (const data::variable_list &variables, const std::set< data::variable > &V) const
 
bool must_delete (const data::variable_list &variables, const data::variable &lhs, std::set< data::data_expression > &rhs) const
 
void delete_ (const data::variable_list &variables)
 
void close ()
 

Public Attributes

std::map< variable, std::set< data_expression > > assignments
 
bool is_top = false
 

Detailed Description

Definition at line 24 of file find_equalities.h.

Member Function Documentation

◆ close()

void mcrl2::data::detail::equality_set_with_top::close ( )
inline

Definition at line 118 of file find_equalities.h.

◆ delete_()

void mcrl2::data::detail::equality_set_with_top::delete_ ( const data::variable_list &  variables)
inline

Definition at line 111 of file find_equalities.h.

◆ intersect()

equality_set_with_top & mcrl2::data::detail::equality_set_with_top::intersect ( const equality_set_with_top &  other)
inline

Computes intersection, modifying this set.

Definition at line 35 of file find_equalities.h.

◆ must_delete()

bool mcrl2::data::detail::equality_set_with_top::must_delete ( const data::variable_list &  variables,
const data::variable &  lhs,
std::set< data::data_expression > &  rhs 
) const
inline

Definition at line 99 of file find_equalities.h.

◆ non_empty_intersection()

bool mcrl2::data::detail::equality_set_with_top::non_empty_intersection ( const data::variable_list &  variables,
const std::set< data::variable > &  V 
) const
inline

Definition at line 93 of file find_equalities.h.

◆ operator[]()

std::set< data_expression > & mcrl2::data::detail::equality_set_with_top::operator[] ( const variable &  var)
inline

Definition at line 29 of file find_equalities.h.

◆ union_()

equality_set_with_top & mcrl2::data::detail::equality_set_with_top::union_ ( const equality_set_with_top &  other)
inline

Computes union, modifying this set.

Definition at line 83 of file find_equalities.h.

Member Data Documentation

◆ assignments

std::map<variable, std::set<data_expression> > mcrl2::data::detail::equality_set_with_top::assignments

Definition at line 26 of file find_equalities.h.

◆ is_top

bool mcrl2::data::detail::equality_set_with_top::is_top = false

Definition at line 27 of file find_equalities.h.

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