assignment.h File Reference

The class assignment. More...

Go to the source code of this file.

Classes
class	mcrl2::data::assignment_expression
	\brief Assignment expression More...
class	mcrl2::data::assignment
	\brief Assignment of a data expression to a variable More...
class	mcrl2::data::untyped_identifier_assignment
	\brief Assignment of a data expression to a string More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.

Typedefs
typedef atermpp::term_list< assignment_expression >	mcrl2::data::assignment_expression_list
	\brief list of assignment_expressions
typedef std::vector< assignment_expression >	mcrl2::data::assignment_expression_vector
	\brief vector of assignment_expressions
typedef atermpp::term_list< assignment >	mcrl2::data::assignment_list
	\brief list of assignments
typedef std::vector< assignment >	mcrl2::data::assignment_vector
	\brief vector of assignments
typedef atermpp::term_list< untyped_identifier_assignment >	mcrl2::data::untyped_identifier_assignment_list
	\brief list of untyped_identifier_assignments
typedef std::vector< untyped_identifier_assignment >	mcrl2::data::untyped_identifier_assignment_vector
	\brief vector of untyped_identifier_assignments

Functions
bool	mcrl2::data::is_assignment (const atermpp::aterm &x)
bool	mcrl2::data::is_untyped_identifier_assignment (const atermpp::aterm &x)
bool	mcrl2::data::is_assignment_expression (const atermpp::aterm &x)
std::string	mcrl2::data::pp (const assignment_expression &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const assignment_expression &x)
void	mcrl2::data::swap (assignment_expression &t1, assignment_expression &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::data::make_assignment (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::data::pp (const assignment &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const assignment &x)
void	mcrl2::data::swap (assignment &t1, assignment &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::data::make_untyped_identifier_assignment (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::data::pp (const untyped_identifier_assignment &x)
std::ostream &	mcrl2::data::operator<< (std::ostream &out, const untyped_identifier_assignment &x)
void	mcrl2::data::swap (untyped_identifier_assignment &t1, untyped_identifier_assignment &t2)
	\brief swap overload
template<typename VariableSequence , typename ExpressionSequence >
assignment_vector	mcrl2::data::make_assignment_vector (VariableSequence const &variables, ExpressionSequence const &expressions)
	Constructs an assignment_list by pairwise combining a variable and expression.
template<typename VariableSequence , typename ExpressionSequence >
assignment_list	mcrl2::data::make_assignment_list (const VariableSequence &variables, const ExpressionSequence &expressions)
	Converts an iterator range to data_expression_list.
variable_list	mcrl2::data::left_hand_sides (const assignment_list &x)
	Returns the left hand sides of an assignment list.
data_expression_list	mcrl2::data::right_hand_sides (const assignment_list &x)
	Returns the right hand sides of an assignment list.
std::string	mcrl2::data::pp (const assignment_list &x)
std::string	mcrl2::data::pp (const assignment_vector &x)

Detailed Description

The class assignment.

Definition in file assignment.h.