mcrl2::bdd::false_

Include file:

#include "mcrl2/bes/bdd_expression.h

class mcrl2::bdd::false_

brief The value false for bdd expressions

Public member functions

false_()

brief Default constructor.

false_(const atermpp::aterm &term)

brief Constructor. param term A term

false_(const false_&) noexcept = default

Move semantics.

false_(false_&&) noexcept = default

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

false_ &operator=(false_&&) noexcept = default