Include file:
#include "mcrl2/modal_formula/regular_formula.h
mcrl2::regular_formulas::
seq
¶The seq operator for regular formulas.
left
() constright
() constseq
()¶Default constructor.
seq
(const regular_formula &left, const regular_formula &right)¶Constructor.