Include file:
#include "mcrl2/modal_formula/action_formula.h"
Add your file description here.
mcrl2::action_formulas::action_formula
mcrl2::action_formulas::and_
mcrl2::action_formulas::at
mcrl2::action_formulas::exists
mcrl2::action_formulas::false_
mcrl2::action_formulas::forall
mcrl2::action_formulas::imp
mcrl2::action_formulas::multi_action
mcrl2::action_formulas::not_
mcrl2::action_formulas::or_
mcrl2::action_formulas::true_
mcrl2::action_formulas::
action_formula_list
¶typedef for atermpp::term_list< action_formula >
brief list of action_formulas
mcrl2::action_formulas::
action_formula_vector
¶typedef for std::vector< action_formula >
brief vector of action_formulas
mcrl2::action_formulas::
is_action_formula
(const atermpp::aterm_appl &x)¶brief Test for a action_formula expression param x A term return True if a x is a action_formula expression
is_and
(const atermpp::aterm_appl &x)brief Test for a and expression param x A term return True if a x is a and expression
is_at
(const atermpp::aterm_appl &x)¶brief Test for a at expression param x A term return True if a x is a at expression
is_exists
(const atermpp::aterm_appl &x)¶brief Test for a exists expression param x A term return True if a x is a exists expression
is_false
(const atermpp::aterm_appl &x)brief Test for a false expression param x A term return True if a x is a false expression
is_forall
(const atermpp::aterm_appl &x)¶brief Test for a forall expression param x A term return True if a x is a forall expression
is_imp
(const atermpp::aterm_appl &x)brief Test for a imp expression param x A term return True if a x is a imp expression
is_multi_action
(const atermpp::aterm_appl &x)brief Test for a multi_action expression param x A term return True if a x is a multi_action expression
is_not
(const atermpp::aterm_appl &x)brief Test for a not expression param x A term return True if a x is a not expression
is_or
(const atermpp::aterm_appl &x)brief Test for a or expression param x A term return True if a x is a or expression
is_true
(const atermpp::aterm_appl &x)brief Test for a true expression param x A term return True if a x is a true expression
mcrl2::action_formulas::
make_and_
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_and_ constructs a new term into a given address.
Parameters:
mcrl2::action_formulas::
make_at
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_at constructs a new term into a given address.
Parameters:
mcrl2::action_formulas::
make_exists
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_exists constructs a new term into a given address.
Parameters:
mcrl2::action_formulas::
make_forall
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_forall constructs a new term into a given address.
Parameters:
mcrl2::action_formulas::
make_imp
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_imp constructs a new term into a given address.
Parameters:
mcrl2::action_formulas::
make_multi_action
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_multi_action constructs a new term into a given address.
Parameters:
mcrl2::action_formulas::
make_not_
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_not_ constructs a new term into a given address.
Parameters:
mcrl2::action_formulas::
make_or_
(atermpp::aterm_appl &t, const ARGUMENTS&... args)¶brief Make_or_ constructs a new term into a given address.
Parameters:
mcrl2::action_formulas::
operator<<
(std::ostream &out, const action_formula &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const and_ &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const at &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const exists &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const false_ &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const forall &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const imp &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const multi_action &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const not_ &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const or_ &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
operator<<
(std::ostream &out, const true_ &x)¶brief Outputs the object to a stream param out An output stream param x Object x return The output stream
mcrl2::action_formulas::
swap
(action_formula &t1, action_formula &t2)¶brief swap overload
mcrl2::action_formulas::
swap
(multi_action &t1, multi_action &t2)¶brief swap overload