Include file:
#include "mcrl2/process/process_expression.h
mcrl2::process::
if_then
¶The if-then operator.
condition
() constif_then
()¶Default constructor.
if_then
(const data::data_expression &condition, const process_expression &then_case)¶Constructor.
then_case
() const¶