From b464ac5ecbd30e1660f8ac952edc987d6235cd22 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 10 Aug 2016 21:55:20 +0200
Subject: [PATCH] sign operator is now supported by storm::expressions

Former-commit-id: 16abfce08d708d03e5bab3828ed0195afc20def6 [formerly a07fb24acb2979b8081337881d3fd7bce408d2c3]
Former-commit-id: d0f0be7df624856dc6fb6ef4f5ffcdd19a0703e5
---
 src/storage/expressions/Expression.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/storage/expressions/Expression.cpp b/src/storage/expressions/Expression.cpp
index 4836ea670..66d5635ff 100644
--- a/src/storage/expressions/Expression.cpp
+++ b/src/storage/expressions/Expression.cpp
@@ -321,8 +321,7 @@ namespace storm {
 
         Expression sign(Expression const& first) {
             STORM_LOG_THROW(first.hasNumericalType(), storm::exceptions::InvalidTypeException, "Sign is only defined for numerical operands");
-            // TODO implement (via Ite?)
-            STORM_LOG_ERROR("Not yet implemented");
+            return ite(first < 0, -first, first);
         }
 
         Expression truncate(Expression const& first) {