Include file:
#include "mcrl2/modal_formula/action_formula.h
mcrl2::action_formulas::
::
true_
The value true for action formulas.
operator=
Default constructor.
Constructor.
Parameters:
term A term
Move semantics.
mcrl2::action_formulas::or_
mcrl2::regular_formulas::alt