Include file:
#include "mcrl2/modal_formula/action_formula.h
mcrl2::action_formulas::
at
¶The at operator for action formulas.
at
()¶Default constructor.
at
(const action_formula &operand, const data::data_expression &time_stamp)¶Constructor.
operand
() const