Include file:
#include "mcrl2/modal_formula/regular_formula.h
mcrl2::regular_formulas::
trans
¶brief The trans operator for regular formulas
operand
() consttrans
()¶brief Default constructor.
trans
(const regular_formula &operand)¶brief Constructor.