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

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

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

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

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

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

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

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

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

Returns a string representation of the object t.

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

Prints the object t to a stream.

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

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

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

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

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

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

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

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

Functions

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_left_associative(const seq&)

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

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

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

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

Returns a string representation of the object t.

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

Prints the object t to a stream.

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

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

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

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

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

Functions

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

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

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

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

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

Returns a string representation of the object t.

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

Prints the object t to a stream.

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

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

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

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

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

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

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

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

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

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

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