mcrl2/modal_formula/translate_regular_formulas.h

Include file:

#include "mcrl2/modal_formula/translate_regular_formulas.h"

Translate regular formulas in terms of state and action formulas.

Functions

state_formula mcrl2::state_formulas::translate_regular_formulas(const state_formula &x)

Translates regular formulas appearing in f into action formulas.

Parameters:

• x A state formula