regular_formula.h File Reference

Add your file description here. More...

Go to the source code of this file.

Classes
class	mcrl2::regular_formulas::regular_formula
	\brief A regular formula More...
class	mcrl2::regular_formulas::seq
	\brief The seq operator for regular formulas More...
class	mcrl2::regular_formulas::alt
	\brief The alt operator for regular formulas More...
class	mcrl2::regular_formulas::trans
	\brief The trans operator for regular formulas More...
class	mcrl2::regular_formulas::trans_or_nil
	\brief The 'trans or nil' operator for regular formulas More...
class	mcrl2::regular_formulas::untyped_regular_formula
	\brief An untyped regular formula or action formula More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::regular_formulas

Typedefs
typedef atermpp::term_list< regular_formula >	mcrl2::regular_formulas::regular_formula_list
	\brief list of regular_formulas
typedef std::vector< regular_formula >	mcrl2::regular_formulas::regular_formula_vector
	\brief vector of regular_formulas

Functions
bool	mcrl2::regular_formulas::is_seq (const atermpp::aterm &x)
bool	mcrl2::regular_formulas::is_alt (const atermpp::aterm &x)
bool	mcrl2::regular_formulas::is_trans (const atermpp::aterm &x)
bool	mcrl2::regular_formulas::is_trans_or_nil (const atermpp::aterm &x)
bool	mcrl2::regular_formulas::is_untyped_regular_formula (const atermpp::aterm &x)
bool	mcrl2::regular_formulas::is_regular_formula (const atermpp::aterm &x)
std::string	mcrl2::regular_formulas::pp (const regular_formula &x)
std::ostream &	mcrl2::regular_formulas::operator<< (std::ostream &out, const regular_formula &x)
void	mcrl2::regular_formulas::swap (regular_formula &t1, regular_formula &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::regular_formulas::make_seq (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::regular_formulas::pp (const seq &x)
std::ostream &	mcrl2::regular_formulas::operator<< (std::ostream &out, const seq &x)
void	mcrl2::regular_formulas::swap (seq &t1, seq &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::regular_formulas::make_alt (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::regular_formulas::pp (const alt &x)
std::ostream &	mcrl2::regular_formulas::operator<< (std::ostream &out, const alt &x)
void	mcrl2::regular_formulas::swap (alt &t1, alt &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::regular_formulas::make_trans (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::regular_formulas::pp (const trans &x)
std::ostream &	mcrl2::regular_formulas::operator<< (std::ostream &out, const trans &x)
void	mcrl2::regular_formulas::swap (trans &t1, trans &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::regular_formulas::make_trans_or_nil (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::regular_formulas::pp (const trans_or_nil &x)
std::ostream &	mcrl2::regular_formulas::operator<< (std::ostream &out, const trans_or_nil &x)
void	mcrl2::regular_formulas::swap (trans_or_nil &t1, trans_or_nil &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::regular_formulas::make_untyped_regular_formula (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::regular_formulas::pp (const untyped_regular_formula &x)
std::ostream &	mcrl2::regular_formulas::operator<< (std::ostream &out, const untyped_regular_formula &x)
void	mcrl2::regular_formulas::swap (untyped_regular_formula &t1, untyped_regular_formula &t2)
	\brief swap overload

Detailed Description

Add your file description here.

Definition in file regular_formula.h.