mcrl2/modal_formula/regular_formula.h

Include file:

#include "mcrl2/modal_formula/regular_formula.h"

Add your file description here.

Typedefs

type regular_formula_list

typedef for atermpp::term_list< regular_formula >

list of regular_formulas

type regular_formula_vector

typedef for std::vector< regular_formula >

vector of regular_formulas

Functions

bool is_alt(const atermpp::aterm_appl &x)

Test for a alt expression.

Parameters:

  • x A term

Returns: True if x is a alt expression

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

Test for a regular_formula expression.

Parameters:

  • x A term

Returns: True if x is a regular_formula expression

bool is_seq(const atermpp::aterm_appl &x)

Test for a seq expression.

Parameters:

  • x A term

Returns: True if x is a seq expression

bool is_trans(const atermpp::aterm_appl &x)

Test for a trans expression.

Parameters:

  • x A term

Returns: True if x is a trans expression

bool is_trans_or_nil(const atermpp::aterm_appl &x)

Test for a trans_or_nil expression.

Parameters:

  • x A term

Returns: True if x is a trans_or_nil expression

bool is_untyped_regular_formula(const atermpp::aterm_appl &x)

Test for a untyped_regular_formula expression.

Parameters:

  • x A term

Returns: True if x is a untyped_regular_formula expression

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

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

Outputs the object to a stream.

Parameters:

  • out An output stream
  • x Object x

Returns: The output stream

std::string pp(const regular_formula &x)
std::string pp(const seq &x)
std::string pp(const alt &x)
std::string pp(const trans &x)
std::string pp(const trans_or_nil &x)
std::string pp(const untyped_regular_formula &x)
void mcrl2::regular_formulas::swap(regular_formula &t1, regular_formula &t2)

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload

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

swap overload