mcrl2::data::detail::find_equalities_expression Struct Reference

#include <find_equalities.h>

Public Member Functions
	find_equalities_expression ()
	Creates (empty,empty)
	find_equalities_expression (const variable &lhs, const data_expression &rhs, bool is_equality)
	Creates ({lhs == rhs}, empty) if is_equality is true, and (empty, {lhs == rhs}) otherwise.
	find_equalities_expression (const variable &lhs)
	Creates ({lhs == true}, {lhs != false})
	find_equalities_expression (bool ineq_top)
	Creates (empty,top) if ineq_top is true and (top,empty) otherwise.
void	swap ()
void	join_and (const find_equalities_expression &other)
void	join_or (const find_equalities_expression &other)
void	delete_ (const data::variable_list &variables)
void	close ()

Public Attributes
equality_set_with_top	equalities
equality_set_with_top	inequalities

Detailed Description

Definition at line 139 of file find_equalities.h.

Constructor & Destructor Documentation

find_equalities_expression() [1/4]

mcrl2::data::detail::find_equalities_expression::find_equalities_expression ( )

inline

Creates (empty,empty)

Definition at line 145 of file find_equalities.h.

find_equalities_expression() [2/4]

mcrl2::data::detail::find_equalities_expression::find_equalities_expression ( const variable &  lhs, const data_expression &  rhs, bool  is_equality  )

inline

Creates ({lhs == rhs}, empty) if is_equality is true, and (empty, {lhs == rhs}) otherwise.

Parameters

is_equality

Indicates whether to construct an equality or inequality

Definition at line 150 of file find_equalities.h.

find_equalities_expression() [3/4]

mcrl2::data::detail::find_equalities_expression::find_equalities_expression ( const variable &  lhs )

inline

Creates ({lhs == true}, {lhs != false})

Definition at line 171 of file find_equalities.h.

find_equalities_expression() [4/4]

mcrl2::data::detail::find_equalities_expression::find_equalities_expression ( bool  ineq_top )

inline

Creates (empty,top) if ineq_top is true and (top,empty) otherwise.

Definition at line 179 of file find_equalities.h.

Member Function Documentation

close()

void mcrl2::data::detail::find_equalities_expression::close ( )

inline

Definition at line 208 of file find_equalities.h.

delete_()

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

inline

Definition at line 202 of file find_equalities.h.

join_and()

void mcrl2::data::detail::find_equalities_expression::join_and ( const find_equalities_expression &  other )

inline

Definition at line 190 of file find_equalities.h.

join_or()

void mcrl2::data::detail::find_equalities_expression::join_or ( const find_equalities_expression &  other )

inline

Definition at line 196 of file find_equalities.h.

swap()

void mcrl2::data::detail::find_equalities_expression::swap ( )

inline

Definition at line 185 of file find_equalities.h.

Member Data Documentation

equalities

equality_set_with_top mcrl2::data::detail::find_equalities_expression::equalities

Definition at line 141 of file find_equalities.h.

inequalities

equality_set_with_top mcrl2::data::detail::find_equalities_expression::inequalities

Definition at line 142 of file find_equalities.h.

---

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

• data/include/mcrl2/data/find_equalities.h