mcrl2/modal_formula/regular_formula.h

Include file:

#include "mcrl2/modal_formula/regular_formula.h"

Add your file description here.

Classes

• mcrl2::regular_formulas::alt
• mcrl2::regular_formulas::regular_formula
• mcrl2::regular_formulas::seq
• mcrl2::regular_formulas::trans
• mcrl2::regular_formulas::trans_or_nil
• mcrl2::regular_formulas::untyped_regular_formula

Typedefs

type mcrl2::regular_formulas::regular_formula_list

typedef for atermpp::term_list< regular_formula >

brief list of regular_formulas

type mcrl2::regular_formulas::regular_formula_vector

typedef for std::vector< regular_formula >

brief vector of regular_formulas

Functions

bool is_alt(const atermpp::aterm_appl &x)

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

bool mcrl2::regular_formulas::is_regular_formula(const atermpp::aterm_appl &x)

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

bool is_seq(const atermpp::aterm_appl &x)

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

bool is_trans(const atermpp::aterm_appl &x)

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

bool is_trans_or_nil(const atermpp::aterm_appl &x)

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

bool is_untyped_regular_formula(const atermpp::aterm_appl &x)

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

void mcrl2::regular_formulas::make_alt(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_alt constructs a new term into a given address.

Parameters:

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

void mcrl2::regular_formulas::make_seq(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_seq constructs a new term into a given address.

Parameters:

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

void mcrl2::regular_formulas::make_trans(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_trans constructs a new term into a given address.

Parameters:

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

void mcrl2::regular_formulas::make_trans_or_nil(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_trans_or_nil constructs a new term into a given address.

Parameters:

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

void mcrl2::regular_formulas::make_untyped_regular_formula(atermpp::aterm_appl &t, const ARGUMENTS&... args)

brief Make_untyped_regular_formula constructs a new term into a given address.

Parameters:

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

std::ostream &mcrl2::regular_formulas::operator<<(std::ostream &out, const alt &x)

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

std::ostream &mcrl2::regular_formulas::operator<<(std::ostream &out, const regular_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::regular_formulas::operator<<(std::ostream &out, const seq &x)

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

std::ostream &mcrl2::regular_formulas::operator<<(std::ostream &out, const trans &x)

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

std::ostream &mcrl2::regular_formulas::operator<<(std::ostream &out, const trans_or_nil &x)

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

std::ostream &mcrl2::regular_formulas::operator<<(std::ostream &out, const untyped_regular_formula &x)

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

void mcrl2::regular_formulas::swap(alt &t1, alt &t2)

brief swap overload

void mcrl2::regular_formulas::swap(regular_formula &t1, regular_formula &t2)

brief swap overload

void mcrl2::regular_formulas::swap(seq &t1, seq &t2)

brief swap overload

void mcrl2::regular_formulas::swap(trans &t1, trans &t2)

brief swap overload

void mcrl2::regular_formulas::swap(trans_or_nil &t1, trans_or_nil &t2)

brief swap overload

void mcrl2::regular_formulas::swap(untyped_regular_formula &t1, untyped_regular_formula &t2)

brief swap overload