mcrl2/bes/boolean_expression.h

Include file:

#include "mcrl2/bes/boolean_expression.h"

add your file description here.

Classes

• mcrl2::bes::and_
• mcrl2::bes::boolean_expression
• mcrl2::bes::boolean_variable
• mcrl2::bes::false_
• mcrl2::bes::imp
• mcrl2::bes::not_
• mcrl2::bes::or_
• mcrl2::core::term_traits
• mcrl2::bes::true_

Typedefs

type mcrl2::bes::boolean_expression_list

typedef for atermpp::term_list< boolean_expression >

brief list of boolean_expressions

type mcrl2::bes::boolean_expression_vector

typedef for std::vector< boolean_expression >

brief vector of boolean_expressions

Functions

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 mcrl2::bes::is_boolean_expression(const atermpp::aterm_appl &x)

brief Test for a boolean_expression expression param x A term return True if a x is a boolean_expression expression

bool is_boolean_variable(const atermpp::aterm_appl &x)

brief Test for a boolean_variable expression param x A term return True if a x is a boolean_variable 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_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_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::bes::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::bes::make_boolean_variable(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_boolean_variable constructs a new term into a given address.

Parameters:

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

void mcrl2::bes::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::bes::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::bes::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::bes::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::bes::operator<<(std::ostream &out, const boolean_expression &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::bes::operator<<(std::ostream &out, const boolean_variable &x)

brief Outputs the object to a stream param out An output stream param x Object x return The output stream

std::ostream &mcrl2::bes::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::bes::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::bes::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::bes::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::bes::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::bes::swap(and_ &t1, and_ &t2)

brief swap overload

void mcrl2::bes::swap(boolean_expression &t1, boolean_expression &t2)

brief swap overload

void mcrl2::bes::swap(boolean_variable &t1, boolean_variable &t2)

brief swap overload

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

brief swap overload

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

brief swap overload

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

brief swap overload

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

brief swap overload

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

brief swap overload

Functions

const boolean_expression &mcrl2::bes::accessors::left(boolean_expression const &e)

const boolean_expression &mcrl2::bes::accessors::right(boolean_expression const &e)