Include file:
#include "mcrl2/modal_formula/action_formula.h
mcrl2::action_formulas::
::
false_
brief The value false for action formulas
brief Default constructor.
brief Constructor. param term A term
Move semantics.
operator=
mcrl2::action_formulas::exists
mcrl2::action_formulas::forall