real_utilities.h File Reference

Contains a number of auxiliary functions to recognize reals.
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_real
	Namespace for system defined sort real_.

Functions
data_expression &	mcrl2::data::sort_real::real_zero ()
data_expression &	mcrl2::data::sort_real::real_one ()
bool	mcrl2::data::sort_real::is_zero (const atermpp::aterm &e)
bool	mcrl2::data::sort_real::is_one (const atermpp::aterm &e)
bool	mcrl2::data::sort_real::is_larger_zero (const atermpp::aterm &e)
	Functions that returns true if e is a closed real number larger than zero.

Detailed Description

Contains a number of auxiliary functions to recognize reals.

Definition in file real_utilities.h.