Include file:
#include "mcrl2/process/process_expression.h
mcrl2::process::
if_then_else
¶The if-then-else operator.
condition
() constelse_case
() const¶if_then_else
()¶Default constructor.
if_then_else
(const data::data_expression &condition, const process_expression &then_case, const process_expression &else_case)¶Constructor.
if_then_else
(const if_then_else&) noexcept = default¶Move semantics.
if_then_else
(if_then_else&&) noexcept = default¶operator=
(const if_then_else&) noexcept = default¶operator=
(if_then_else&&) noexcept = default¶then_case
() const