undefined.h File Reference

add your file description here. 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.

Functions
constexpr std::size_t	mcrl2::data::undefined_index ()
	Returns an index that corresponds to 'undefined'.
const data::variable &	mcrl2::data::undefined_variable ()
	Returns a data variable that corresponds to 'undefined'.
const data::variable &	mcrl2::data::undefined_real_variable ()
	Returns a data variable that corresponds to 'undefined'.
const data::sort_expression &	mcrl2::data::undefined_sort_expression ()
	Returns a sort expression that corresponds to 'undefined'.
const data::data_expression &	mcrl2::data::undefined_data_expression ()
	Returns a data expression that corresponds to 'undefined'.
const data::data_expression &	mcrl2::data::undefined_real ()
	Returns a data expression of type Real that corresponds to 'undefined'.

Detailed Description

add your file description here.

Definition in file undefined.h.