add your file description here. More...

Classes
struct	mcrl2::pbes_system::detail::printer< Derived >

struct	mcrl2::pbes_system::stream_printer
	Prints the object x to a stream. More...

Namespaces
namespace	mcrl2

namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

namespace	mcrl2::pbes_system::detail

Functions
constexpr int	mcrl2::pbes_system::precedence (const forall &)

constexpr int	mcrl2::pbes_system::precedence (const exists &)

constexpr int	mcrl2::pbes_system::precedence (const imp &)

constexpr int	mcrl2::pbes_system::precedence (const or_ &)

constexpr int	mcrl2::pbes_system::precedence (const and_ &)

constexpr int	mcrl2::pbes_system::precedence (const not_ &)

int	mcrl2::pbes_system::precedence (const pbes_expression &x)

bool	mcrl2::pbes_system::is_left_associative (const imp &)

bool	mcrl2::pbes_system::is_left_associative (const or_ &)

bool	mcrl2::pbes_system::is_left_associative (const and_ &)

bool	mcrl2::pbes_system::is_left_associative (const pbes_expression &x)

bool	mcrl2::pbes_system::is_right_associative (const imp &)

bool	mcrl2::pbes_system::is_right_associative (const or_ &)

bool	mcrl2::pbes_system::is_right_associative (const and_ &)

bool	mcrl2::pbes_system::is_right_associative (const pbes_expression &x)

template<typename T >
std::string	mcrl2::pbes_system::pp (const T &x, bool precedence_aware=true)
	Returns a string representation of the object x.

Detailed Description

add your file description here.

Definition in file print.h.

Classes