Browse Source

sign operator is now supported by storm::expressions

Former-commit-id: 16abfce08d [formerly a07fb24acb]
Former-commit-id: d0f0be7df6
main
sjunges 9 years ago
parent
commit
b464ac5ecb
  1. 3
      src/storage/expressions/Expression.cpp

3
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) {

Loading…
Cancel
Save