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 >
brief list of regular_formulas
mcrl2::regular_formulas::
regular_formula_vector
¶typedef for std::vector< regular_formula >
brief vector of regular_formulas
is_alt
(const atermpp::aterm_appl &x)¶brief Test for a alt expression param x A term return True if a x is a alt expression
mcrl2::regular_formulas::
is_regular_formula
(const atermpp::aterm_appl &x)¶brief Test for a regular_formula expression param x A term return True if a x is a regular_formula expression
is_seq
(const atermpp::aterm_appl &x)¶brief Test for a seq expression param x A term return True if a x is a seq expression
is_trans
(const atermpp::aterm_appl &x)¶brief Test for a trans expression param x A term return True if a x is a trans expression
is_trans_or_nil
(const atermpp::aterm_appl &x)¶brief Test for a trans_or_nil expression param x A term return True if a x is a trans_or_nil expression
is_untyped_regular_formula
(const atermpp::aterm_appl &x)¶brief Test for a untyped_regular_formula expression param x A term return True if a x is a untyped_regular_formula expression
mcrl2::regular_formulas::
make_alt
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_alt constructs a new term into a given address.
Parameters:
mcrl2::regular_formulas::
make_seq
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_seq constructs a new term into a given address.
Parameters:
mcrl2::regular_formulas::
make_trans
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_trans constructs a new term into a given address.
Parameters:
mcrl2::regular_formulas::
make_trans_or_nil
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_trans_or_nil constructs a new term into a given address.
Parameters:
mcrl2::regular_formulas::
make_untyped_regular_formula
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_untyped_regular_formula constructs a new term into a given address.
Parameters:
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const alt &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const regular_formula &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const seq &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const trans &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const trans_or_nil &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::regular_formulas::
operator<<
(std::ostream &out, const untyped_regular_formula &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::regular_formulas::
swap
(regular_formula &t1, regular_formula &t2)¶brief swap overload
mcrl2::regular_formulas::
swap
(trans_or_nil &t1, trans_or_nil &t2)¶brief swap overload
mcrl2::regular_formulas::
swap
(untyped_regular_formula &t1, untyped_regular_formula &t2)¶brief swap overload