Include file:
#include "mcrl2/modal_formula/regular_formula.h
mcrl2::regular_formulas::
::
trans
The trans operator for regular formulas.
operand
operator=
Default constructor.
Constructor.
Parameters:
term A term
Move semantics.
mcrl2::regular_formulas::seq
mcrl2::regular_formulas::trans_or_nil