mcrl2::pbes_system::pbes_expression¶

Include file:

#include "mcrl2/pbes/pbes_expression.h

class mcrl2::pbes_system::pbes_expression¶: brief A pbes expression

Public member functions¶

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

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

pbes_expression()¶: brief Default constructor.

pbes_expression(const atermpp::aterm &term)¶: brief Constructor. param term A term

pbes_expression(const data::data_expression &x)¶: brief Constructor.

pbes_expression(const data::untyped_data_parameter &x)¶: brief Constructor.

pbes_expression(const data::variable &x)¶: brief Constructor.

pbes_expression(const pbes_expression&) noexcept = default¶: Move semantics.

pbes_expression(pbes_expression&&) noexcept = default¶