print.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::pres_system::detail::printer< Derived >
struct	mcrl2::pres_system::stream_printer
	Prints the object x to a stream. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::pres_system
	The main namespace for the PRES library.
namespace	mcrl2::pres_system::detail

Functions
constexpr int	mcrl2::pres_system::precedence (const infimum &)
constexpr int	mcrl2::pres_system::precedence (const supremum &)
constexpr int	mcrl2::pres_system::precedence (const sum &)
constexpr int	mcrl2::pres_system::precedence (const plus &)
constexpr int	mcrl2::pres_system::precedence (const imp &)
constexpr int	mcrl2::pres_system::precedence (const or_ &)
constexpr int	mcrl2::pres_system::precedence (const and_ &)
constexpr int	mcrl2::pres_system::precedence (const minus &)
constexpr int	mcrl2::pres_system::precedence (const const_multiply &)
constexpr int	mcrl2::pres_system::precedence (const const_multiply_alt &)
int	mcrl2::pres_system::precedence (const pres_expression &x)
bool	mcrl2::pres_system::is_left_associative (const imp &)
bool	mcrl2::pres_system::is_left_associative (const or_ &)
bool	mcrl2::pres_system::is_left_associative (const and_ &)
bool	mcrl2::pres_system::is_left_associative (const plus &)
bool	mcrl2::pres_system::is_left_associative (const const_multiply &)
bool	mcrl2::pres_system::is_left_associative (const const_multiply_alt &)
bool	mcrl2::pres_system::is_left_associative (const pres_expression &x)
bool	mcrl2::pres_system::is_right_associative (const imp &)
bool	mcrl2::pres_system::is_right_associative (const or_ &)
bool	mcrl2::pres_system::is_right_associative (const and_ &)
bool	mcrl2::pres_system::is_right_associative (const plus &)
bool	mcrl2::pres_system::is_right_associative (const const_multiply &)
bool	mcrl2::pres_system::is_right_associative (const const_multiply_alt &)
bool	mcrl2::pres_system::is_right_associative (const pres_expression &x)
template<typename T >
std::string	mcrl2::pres_system::pp (const T &x)
	Returns a string representation of the object x.

Detailed Description

add your file description here.

Definition in file print.h.