standard_utility.h File Reference

Provides utilities for working with data expressions of standard sorts. More...

Go to the source code of this file.

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.
namespace	mcrl2::data::sort_bool
	Namespace for system defined sort bool_.
namespace	mcrl2::data::lazy
	A collection of utilities for lazy expression construction.

Functions
data_expression	mcrl2::data::sort_bool::bool_ (bool b)
	Constructs expression of type Bool from an integral type.
bool	mcrl2::data::sort_bool::is_boolean_constant (data_expression const &b)
	Determines whether b is a Boolean constant.
bool	mcrl2::data::is_system_defined (const sort_expression &s)
	Returns true iff the expression represents a standard sort.
data_expression	mcrl2::data::lazy::not_ (data_expression const &p)
	Returns an expression equivalent to not p.
data_expression	mcrl2::data::lazy::or_ (data_expression const &p, data_expression const &q)
	Returns an expression equivalent to p and q.
data_expression	mcrl2::data::lazy::and_ (data_expression const &p, data_expression const &q)
	Returns an expression equivalent to p or q.
data_expression	mcrl2::data::lazy::implies (data_expression const &p, data_expression const &q)
	Returns an expression equivalent to p implies q.
data_expression	mcrl2::data::lazy::equal_to (data_expression const &p, data_expression const &q)
	Returns an expression equivalent to p == q.
data_expression	mcrl2::data::lazy::not_equal_to (data_expression const &p, data_expression const &q)
	Returns an expression equivalent to p == q.
data_expression	mcrl2::data::lazy::if_ (const data_expression &cond, const data_expression &then, const data_expression &else_)
	Returns an expression equivalent to if(cond,then,else_)
template<typename ForwardTraversalIterator >
data_expression	mcrl2::data::lazy::join_or (ForwardTraversalIterator first, ForwardTraversalIterator last)
	Returns or applied to the sequence of data expressions [first, last)
template<typename ForwardTraversalIterator >
data_expression	mcrl2::data::lazy::join_and (ForwardTraversalIterator first, ForwardTraversalIterator last)
	Returns and applied to the sequence of data expressions [first, last)
std::list< data_expression >	mcrl2::data::split_disjunction (const data_expression &condition)
	Split a disjunctive expression into a set of clauses.
std::list< data_expression >	mcrl2::data::split_conjunction (const data_expression &condition)
	Split a disjunctive expression into a set of clauses.

Detailed Description

Provides utilities for working with data expressions of standard sorts.

Definition in file standard_utility.h.