mcrl2::action_formulas::false_¶

Include file:

#include "mcrl2/modal_formula/action_formula.h

class mcrl2::action_formulas::false_¶: The value false for action formulas.

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¶