mCRL2
Loading...
Searching...
No Matches
regfrmtrans.cpp File Reference

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.