standard_numbers_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_pos
	Namespace for system defined sort pos.
namespace	mcrl2::data::sort_nat
	Namespace for system defined sort nat.
namespace	mcrl2::data::sort_int
	Namespace for system defined sort int_.
namespace	mcrl2::data::sort_real
	Namespace for system defined sort real_.

Functions
template<typename T >
std::enable_if< std::is_integral< T >::value, data_expression >::type	mcrl2::data::sort_pos::pos (const T t)
	Constructs expression of type Bool from an integral type Type T is an unsigned integral type.
data_expression	mcrl2::data::sort_pos::pos (const std::string &n)
	Constructs expression of type Pos from a string.
bool	mcrl2::data::sort_pos::is_positive_constant (const data_expression &n)
	Determines whether n is a positive constant.
std::string	mcrl2::data::sort_pos::positive_constant_as_string (const data_expression &n_in)
	Return the string representation of a positive number.
template<class NUMERIC_TYPE >
NUMERIC_TYPE	mcrl2::data::sort_pos::positive_constant_to_value (const data_expression &n)
	Returns the NUMERIC_TYPE representation of a positive number.
template<typename T >
std::enable_if< std::is_integral< T >::value, data_expression >::type	mcrl2::data::sort_nat::nat (T t)
	Constructs expression of type pos from an integral type.
data_expression	mcrl2::data::sort_nat::nat (const std::string &n)
	Constructs expression of type Nat from a string.
bool	mcrl2::data::sort_nat::is_natural_constant (const data_expression &n)
	Determines whether n is a natural constant.
std::string	mcrl2::data::sort_nat::natural_constant_as_string (const data_expression &n_in)
	Return the string representation of a natural number.
template<class NUMERIC_TYPE >
NUMERIC_TYPE	mcrl2::data::sort_nat::natural_constant_to_value (const data_expression &n)
	Return the NUMERIC_VALUE representation of a natural number.
template<typename T >
std::enable_if< std::is_integral< T >::value &&std::is_unsigned< T >::value, data_expression >::type	mcrl2::data::sort_int::int_ (T t)
	Constructs expression of type pos from an integral type.
template<typename T >
std::enable_if< std::is_integral< T >::value &&std::is_signed< T >::value, data_expression >::type	mcrl2::data::sort_int::int_ (T t)
	Constructs expression of type pos from an integral type.
data_expression	mcrl2::data::sort_int::int_ (const std::string &n)
	Constructs expression of type Int from a string.
bool	mcrl2::data::sort_int::is_integer_constant (const data_expression &n)
	Determines whether n is an integer constant.
std::string	mcrl2::data::sort_int::integer_constant_as_string (const data_expression &n)
	Return the string representation of an integer number.
template<class NUMERIC_VALUE >
NUMERIC_VALUE	mcrl2::data::sort_int::integer_constant_to_value (const data_expression &n)
	Return the NUMERIC_VALUE representation of an integer number.
template<typename T >
std::enable_if< std::is_integral< T >::value, data_expression >::type	mcrl2::data::sort_real::real_ (T t)
	Constructs expression of type Real from an integral type.
template<typename T >
std::enable_if< std::is_integral< T >::value, data_expression >::type	mcrl2::data::sort_real::real_ (T numerator, T denominator)
	Constructs expression of type Real from an integral type.
data_expression	mcrl2::data::sort_real::real_ (const std::string &numerator, const std::string &denominator)
	Constructs expression of type Real from two number strings.
data_expression	mcrl2::data::sort_real::real_ (const std::string &n)
	Constructs expression of type Real from a string.
template<class NUMERIC_TYPE >
NUMERIC_TYPE	mcrl2::data::sort_real::value (const data_expression &r, typename std::enable_if< std::is_floating_point< NUMERIC_TYPE >::value >::type *=nullptr)
	Yields the real value of a data expression.
data_expression	mcrl2::data::number (const sort_expression &s, const std::string &n)
	Construct numeric expression from a string representing a number in decimal notation.
bool	mcrl2::data::is_convertible (const sort_expression &s1, const sort_expression &s2)
	Returns true if and only if s1 == s2, or if s1 is a less specific numeric type than s2.

Detailed Description

Provides utilities for working with data expressions of standard sorts.

Definition in file standard_numbers_utility.h.