mcrl2::bdd::bdd_expression

Include file:

#include "mcrl2/bes/bdd_expression.h
class mcrl2::bdd::bdd_expression

A bdd expression.

Public member functions

bdd_expression()

Default constructor.

bdd_expression(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
bdd_expression(const bdd_expression&) noexcept = default

Move semantics.

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