diff --git a/pymbolic/mapper/stringifier.py b/pymbolic/mapper/stringifier.py index 554ec80f1a054b6121e1cbb275e81ea4c1dcc190..1311d21eb786b3e0e2c5007e10df6215982a308a 100644 --- a/pymbolic/mapper/stringifier.py +++ b/pymbolic/mapper/stringifier.py @@ -195,6 +195,12 @@ class StringifyMapper(pymbolic.mapper.RecursiveMapper): return self.format("%s(%s)", type_name, self.rec(expr.child, PREC_NONE)) + def map_if(self, expr, enclosing_prec): + return "If(%s, %s, %s)" % ( + self.rec(expr.condition, PREC_NONE), + self.rec(expr.then, PREC_NONE), + self.rec(expr.else_, PREC_NONE)) + def map_if_positive(self, expr, enclosing_prec): return "If(%s > 0, %s, %s)" % ( self.rec(expr.criterion, PREC_NONE),