regular_formula.h¶

Include file:

#include "mcrl2/modal_formula/regular_formula.h"

Add your file description here.

Classes¶

Typedefs¶

type mcrl2::regular_formulas::regular_formula_list¶

typedef for atermpp::term_list< regular_formula >

list of regular_formulas

type mcrl2::regular_formulas::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

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

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)¶

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)¶

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)¶

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)¶

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)¶

Outputs the object to a stream.

Parameters:

out An output stream
x Object x