action_formula.h File Reference

Add your file description here. More...

Go to the source code of this file.

Classes
class	mcrl2::action_formulas::action_formula
	\brief An action formula More...
class	mcrl2::action_formulas::true_
	\brief The value true for action formulas More...
class	mcrl2::action_formulas::false_
	\brief The value false for action formulas More...
class	mcrl2::action_formulas::not_
	\brief The not operator for action formulas More...
class	mcrl2::action_formulas::and_
	\brief The and operator for action formulas More...
class	mcrl2::action_formulas::or_
	\brief The or operator for action formulas More...
class	mcrl2::action_formulas::imp
	\brief The implication operator for action formulas More...
class	mcrl2::action_formulas::forall
	\brief The universal quantification operator for action formulas More...
class	mcrl2::action_formulas::exists
	\brief The existential quantification operator for action formulas More...
class	mcrl2::action_formulas::at
	\brief The at operator for action formulas More...
class	mcrl2::action_formulas::multi_action
	\brief The multi action for action formulas More...

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

Typedefs
typedef atermpp::term_list< action_formula >	mcrl2::action_formulas::action_formula_list
	\brief list of action_formulas
typedef std::vector< action_formula >	mcrl2::action_formulas::action_formula_vector
	\brief vector of action_formulas

Functions
bool	mcrl2::action_formulas::is_true (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_false (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_not (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_and (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_or (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_imp (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_forall (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_exists (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_at (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_multi_action (const atermpp::aterm &x)
bool	mcrl2::action_formulas::is_action_formula (const atermpp::aterm &x)
std::string	mcrl2::action_formulas::pp (const action_formula &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const action_formula &x)
void	mcrl2::action_formulas::swap (action_formula &t1, action_formula &t2)
	\brief swap overload
std::string	mcrl2::action_formulas::pp (const true_ &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const true_ &x)
void	mcrl2::action_formulas::swap (true_ &t1, true_ &t2)
	\brief swap overload
std::string	mcrl2::action_formulas::pp (const false_ &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const false_ &x)
void	mcrl2::action_formulas::swap (false_ &t1, false_ &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::action_formulas::make_not_ (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::action_formulas::pp (const not_ &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const not_ &x)
void	mcrl2::action_formulas::swap (not_ &t1, not_ &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::action_formulas::make_and_ (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::action_formulas::pp (const and_ &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const and_ &x)
void	mcrl2::action_formulas::swap (and_ &t1, and_ &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::action_formulas::make_or_ (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::action_formulas::pp (const or_ &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const or_ &x)
void	mcrl2::action_formulas::swap (or_ &t1, or_ &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::action_formulas::make_imp (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::action_formulas::pp (const imp &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const imp &x)
void	mcrl2::action_formulas::swap (imp &t1, imp &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::action_formulas::make_forall (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::action_formulas::pp (const forall &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const forall &x)
void	mcrl2::action_formulas::swap (forall &t1, forall &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::action_formulas::make_exists (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::action_formulas::pp (const exists &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const exists &x)
void	mcrl2::action_formulas::swap (exists &t1, exists &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::action_formulas::make_at (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::action_formulas::pp (const at &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const at &x)
void	mcrl2::action_formulas::swap (at &t1, at &t2)
	\brief swap overload
template<class... ARGUMENTS>
void	mcrl2::action_formulas::make_multi_action (atermpp::aterm &t, const ARGUMENTS &... args)
std::string	mcrl2::action_formulas::pp (const multi_action &x)
std::ostream &	mcrl2::action_formulas::operator<< (std::ostream &out, const multi_action &x)
void	mcrl2::action_formulas::swap (multi_action &t1, multi_action &t2)
	\brief swap overload
std::set< data::variable >	mcrl2::action_formulas::find_all_variables (const action_formulas::action_formula &x)

Detailed Description

Add your file description here.

Definition in file action_formula.h.