Include file:
#include "mcrl2/modal_formula/regular_formula.h"
Add your file description here.
mcrl2::regular_formulas::
regular_formula_list
¶typedef for atermpp::term_list< regular_formula >
list of regular_formulas
mcrl2::regular_formulas::
regular_formula_vector
¶typedef for std::vector< regular_formula >
vector of regular_formulas
is_alt
(const atermpp::aterm_appl &x)¶Test for a alt expression.
Parameters:
Returns: True if x is a alt expression
mcrl2::regular_formulas::
is_regular_formula
(const atermpp::aterm_appl &x)¶Test for a regular_formula expression.
Parameters:
Returns: True if x is a regular_formula expression
is_seq
(const atermpp::aterm_appl &x)¶Test for a seq expression.
Parameters:
Returns: True if x is a seq expression
is_trans
(const atermpp::aterm_appl &x)¶Test for a trans expression.
Parameters:
Returns: True if x is a trans expression
is_trans_or_nil
(const atermpp::aterm_appl &x)¶Test for a trans_or_nil expression.
Parameters:
Returns: True if x is a trans_or_nil expression
is_untyped_regular_formula
(const atermpp::aterm_appl &x)¶Test for a untyped_regular_formula expression.
Parameters:
Returns: True if x is a untyped_regular_formula expression
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const alt &x)¶Outputs the object to a stream.
Parameters:
Returns: The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const regular_formula &x)¶Outputs the object to a stream.
Parameters:
Returns: The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const seq &x)¶Outputs the object to a stream.
Parameters:
Returns: The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const trans &x)¶Outputs the object to a stream.
Parameters:
Returns: The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const trans_or_nil &x)¶Outputs the object to a stream.
Parameters:
Returns: The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const untyped_regular_formula &x)¶Outputs the object to a stream.
Parameters:
Returns: The output stream
mcrl2::regular_formulas::
swap
(regular_formula &t1, regular_formula &t2)¶swap overload
mcrl2::regular_formulas::
swap
(trans_or_nil &t1, trans_or_nil &t2)¶swap overload
mcrl2::regular_formulas::
swap
(untyped_regular_formula &t1, untyped_regular_formula &t2)¶swap overload