mcrl2/modal_formula/print.h

Include file:

#include "mcrl2/modal_formula/print.h"

add your file description here.

Classes

• mcrl2::state_formulas::detail::printer

• mcrl2::regular_formulas::detail::printer

• mcrl2::action_formulas::detail::printer

Functions

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)

void mcrl2::action_formulas::pp(const T &t, std::ostream &out)

Prints the object t to a stream.

std::string mcrl2::action_formulas::pp(const T &t)

Returns a string representation of the object t.

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)

Functions

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)

void mcrl2::regular_formulas::pp(const T &t, std::ostream &out)

Prints the object t to a stream.

std::string mcrl2::regular_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)

Functions

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 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 state_formula &x)

void mcrl2::state_formulas::pp(const T &t, std::ostream &out)

Prints the object t to a stream.

std::string mcrl2::state_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 imp&)

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

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

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

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

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

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