mcrl2/modal_formula/action_formula.h

Include file:

#include "mcrl2/modal_formula/action_formula.h"

Add your file description here.

Classes

• 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_

Typedefs

type mcrl2::action_formulas::action_formula_list

typedef for atermpp::term_list< action_formula >

brief list of action_formulas

type mcrl2::action_formulas::action_formula_vector

typedef for std::vector< action_formula >

brief vector of action_formulas

Functions

bool 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

bool 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

bool 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

bool 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

bool 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

bool 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

bool 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

bool 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

bool 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

bool 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

bool 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

void mcrl2::action_formulas::make_and_(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_and_ constructs a new term into a given address.

Parameters:

• t The reference into which the new and_ is constructed.

void mcrl2::action_formulas::make_at(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_at constructs a new term into a given address.

Parameters:

• t The reference into which the new at is constructed.

void mcrl2::action_formulas::make_exists(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_exists constructs a new term into a given address.

Parameters:

• t The reference into which the new exists is constructed.

void mcrl2::action_formulas::make_forall(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_forall constructs a new term into a given address.

Parameters:

• t The reference into which the new forall is constructed.

void mcrl2::action_formulas::make_imp(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_imp constructs a new term into a given address.

Parameters:

• t The reference into which the new imp is constructed.

void 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:

• t The reference into which the new multi_action is constructed.

void mcrl2::action_formulas::make_not_(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_not_ constructs a new term into a given address.

Parameters:

• t The reference into which the new not_ is constructed.

void mcrl2::action_formulas::make_or_(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_or_ constructs a new term into a given address.

Parameters:

• t The reference into which the new or_ is constructed.

std::ostream &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

std::ostream &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

std::ostream &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

std::ostream &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

std::ostream &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

std::ostream &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

std::ostream &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

std::ostream &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

std::ostream &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

std::ostream &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

std::ostream &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

void mcrl2::action_formulas::swap(action_formula &t1, action_formula &t2)

brief swap overload

void mcrl2::action_formulas::swap(and_ &t1, and_ &t2)

brief swap overload

void mcrl2::action_formulas::swap(at &t1, at &t2)

brief swap overload

void mcrl2::action_formulas::swap(exists &t1, exists &t2)

brief swap overload

void mcrl2::action_formulas::swap(false_ &t1, false_ &t2)

brief swap overload

void mcrl2::action_formulas::swap(forall &t1, forall &t2)

brief swap overload

void mcrl2::action_formulas::swap(imp &t1, imp &t2)

brief swap overload

void mcrl2::action_formulas::swap(multi_action &t1, multi_action &t2)

brief swap overload

void mcrl2::action_formulas::swap(not_ &t1, not_ &t2)

brief swap overload

void mcrl2::action_formulas::swap(or_ &t1, or_ &t2)

brief swap overload

void mcrl2::action_formulas::swap(true_ &t1, true_ &t2)

brief swap overload