From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 28 Aug 2018 19:35:35 +0000 (-0700)
Subject: Remove throw specifiers in FP type checker (#2392)
X-Git-Tag: cvc5-1.0.0~4706
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f9173b366ff32814ce74402765310efed48d4610;p=cvc5.git

Remove throw specifiers in FP type checker (#2392)
---

diff --git a/src/theory/fp/theory_fp_type_rules.h b/src/theory/fp/theory_fp_type_rules.h
index 7b155aa58..94ce476bf 100644
--- a/src/theory/fp/theory_fp_type_rules.h
+++ b/src/theory/fp/theory_fp_type_rules.h
@@ -618,10 +618,9 @@ class FloatingPointToRealTotalTypeRule {
 class FloatingPointComponentBit
 {
  public:
-  inline static TypeNode computeType(
-      NodeManager* nodeManager,
-      TNode n,
-      bool check) throw(TypeCheckingExceptionPrivate, AssertionException)
+  inline static TypeNode computeType(NodeManager* nodeManager,
+                                     TNode n,
+                                     bool check)
   {
     TRACE("FloatingPointComponentBit");
 
@@ -653,10 +652,9 @@ class FloatingPointComponentBit
 class FloatingPointComponentExponent
 {
  public:
-  inline static TypeNode computeType(
-      NodeManager* nodeManager,
-      TNode n,
-      bool check) throw(TypeCheckingExceptionPrivate, AssertionException)
+  inline static TypeNode computeType(NodeManager* nodeManager,
+                                     TNode n,
+                                     bool check)
   {
     TRACE("FloatingPointComponentExponent");
 
@@ -701,10 +699,9 @@ class FloatingPointComponentExponent
 class FloatingPointComponentSignificand
 {
  public:
-  inline static TypeNode computeType(
-      NodeManager* nodeManager,
-      TNode n,
-      bool check) throw(TypeCheckingExceptionPrivate, AssertionException)
+  inline static TypeNode computeType(NodeManager* nodeManager,
+                                     TNode n,
+                                     bool check)
   {
     TRACE("FloatingPointComponentSignificand");
 
@@ -745,10 +742,9 @@ class FloatingPointComponentSignificand
 class RoundingModeBitBlast
 {
  public:
-  inline static TypeNode computeType(
-      NodeManager* nodeManager,
-      TNode n,
-      bool check) throw(TypeCheckingExceptionPrivate, AssertionException)
+  inline static TypeNode computeType(NodeManager* nodeManager,
+                                     TNode n,
+                                     bool check)
   {
     TRACE("RoundingModeBitBlast");