add your file description here. More...

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

struct	mcrl2::regular_formulas::detail::printer< Derived >

struct	mcrl2::state_formulas::detail::printer< Derived >

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::action_formulas

namespace	mcrl2::action_formulas::detail

namespace	mcrl2::regular_formulas

namespace	mcrl2::regular_formulas::detail

namespace	mcrl2::state_formulas

namespace	mcrl2::state_formulas::detail

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

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

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

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

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

constexpr int	mcrl2::action_formulas::precedence (const at &)

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

int	mcrl2::action_formulas::precedence (const action_formula &x)

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

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

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

bool	mcrl2::action_formulas::is_left_associative (const action_formula &x)

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

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

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

bool	mcrl2::action_formulas::is_right_associative (const action_formula &x)

template<typename T >
void	mcrl2::action_formulas::pp (const T &t, std::ostream &out)
	Prints the object t to a stream.

template<typename T >
std::string	mcrl2::action_formulas::pp (const T &t)
	Returns a string representation of the object t.

constexpr int	mcrl2::regular_formulas::precedence (const seq &)

constexpr int	mcrl2::regular_formulas::precedence (const alt &)

constexpr int	mcrl2::regular_formulas::precedence (const trans &)

constexpr int	mcrl2::regular_formulas::precedence (const trans_or_nil &)

int	mcrl2::regular_formulas::precedence (const regular_formula &x)

bool	mcrl2::regular_formulas::is_left_associative (const seq &)

bool	mcrl2::regular_formulas::is_left_associative (const alt &)

bool	mcrl2::regular_formulas::is_left_associative (const regular_formula &x)

bool	mcrl2::regular_formulas::is_right_associative (const seq &)

bool	mcrl2::regular_formulas::is_right_associative (const alt &)

bool	mcrl2::regular_formulas::is_right_associative (const regular_formula &x)

template<typename T >
void	mcrl2::regular_formulas::pp (const T &t, std::ostream &out)
	Prints the object t to a stream.

template<typename T >
std::string	mcrl2::regular_formulas::pp (const T &t)
	Returns a string representation of the object t.

constexpr int	mcrl2::state_formulas::precedence (const mu &)

constexpr int	mcrl2::state_formulas::precedence (const nu &)

constexpr int	mcrl2::state_formulas::precedence (const forall &)

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

constexpr int	mcrl2::state_formulas::precedence (const infimum &)

constexpr int	mcrl2::state_formulas::precedence (const supremum &)

constexpr int	mcrl2::state_formulas::precedence (const sum &)

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

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

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

constexpr int	mcrl2::state_formulas::precedence (const plus &)

constexpr int	mcrl2::state_formulas::precedence (const const_multiply &)

constexpr int	mcrl2::state_formulas::precedence (const const_multiply_alt &)

constexpr int	mcrl2::state_formulas::precedence (const must &)

constexpr int	mcrl2::state_formulas::precedence (const may &)

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

constexpr int	mcrl2::state_formulas::precedence (const minus &)

int	mcrl2::state_formulas::precedence (const state_formula &x)

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

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

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

bool	mcrl2::state_formulas::is_left_associative (const plus &)

bool	mcrl2::state_formulas::is_left_associative (const const_multiply &)

bool	mcrl2::state_formulas::is_left_associative (const const_multiply_alt &)

bool	mcrl2::state_formulas::is_left_associative (const state_formula &x)

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

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

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

bool	mcrl2::state_formulas::is_right_associative (const plus &)

bool	mcrl2::state_formulas::is_right_associative (const const_multiply &)

bool	mcrl2::state_formulas::is_right_associative (const const_multiply_alt &)

bool	mcrl2::state_formulas::is_right_associative (const state_formula &x)

template<typename T >
void	mcrl2::state_formulas::pp (const T &t, std::ostream &out)
	Prints the object t to a stream.

template<typename T >
std::string	mcrl2::state_formulas::pp (const T &t)
	Returns a string representation of the object t.

Detailed Description

add your file description here.

Definition in file print.h.

Classes

Namespaces

Functions

Detailed Description