if_then_else

---

function if_then_else(cond:Expression<Boolean>, y:Expression<Real>, z:Expression<Real>) -> IfThenElse

Lazy if_then_else.

function if_then_else(cond:Expression<Boolean>, y:Expression<Real>, z:Real) -> IfThenElse

Lazy if_then_else.

function if_then_else(cond:Expression<Boolean>, y:Real, z:Expression<Real>) -> IfThenElse

Lazy if_then_else.

function if_then_else(cond:Expression<Boolean>, y:Real, z:Real) -> IfThenElse

Lazy if_then_else.

function if_then_else(cond:Boolean, y:Expression<Real>, z:Expression<Real>) -> IfThenElse

Lazy if_then_else.

function if_then_else(cond:Boolean, y:Expression<Real>, z:Real) -> IfThenElse

Lazy if_then_else.

function if_then_else(cond:Boolean, y:Real, z:Expression<Real>) -> IfThenElse

Lazy if_then_else.

function if_then_else<Type>(cond:Boolean, x:Type, y:Type) -> Type

If-then-else: if cond is true then return x, else return y.