mCRL2
|
Go to the source code of this file.
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::regular_formulas |
namespace | mcrl2::regular_formulas::detail |
Functions | |
state_formula | mcrl2::regular_formulas::detail::translate_reg_frms_appl (state_formula part, xyz_identifier_generator &xyz_generator) |
mcrl2::state_formulas::state_formula | mcrl2::regular_formulas::detail::translate_reg_frms (const mcrl2::state_formulas::state_formula &state_frm) |
Translate regular formulas in terms of state and action formulas. | |