mcrl2::pbes_system::pbes_expression

Include file:

#include "mcrl2/pbes/pbes_expression.h
class mcrl2::pbes_system::pbes_expression

A pbes expression.

Public member functions

pbes_expression &operator=(const pbes_expression&) noexcept = default
pbes_expression &operator=(pbes_expression&&) noexcept = default
pbes_expression()

Default constructor.

pbes_expression(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

pbes_expression(const data::data_expression &x)

Constructor.

pbes_expression(const data::variable &x)

Constructor.

pbes_expression(const data::untyped_data_parameter &x)

Constructor.

pbes_expression(const pbes_expression&) noexcept = default

Move semantics.

pbes_expression(pbes_expression&&) noexcept = default