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)