mcrl2::bes::false_

Include file:

#include "mcrl2/bes/boolean_expression.h
class mcrl2::bes::false_

The value false for boolean expressions.

Public member functions

false_()

Default constructor.

false_(const atermpp::aterm &term)

Constructor.

Parameters:

  • 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