@@ -0,0 +1,966 @@
+/*%0A *  JavaSMT is an API wrapper for a collection of SMT solvers.%0A *  This file is part of JavaSMT.%0A *%0A *  Copyright (C) 2007-2016  Dirk Beyer%0A *  All rights reserved.%0A *%0A *  Licensed under the Apache License, Version 2.0 (the %22License%22);%0A *  you may not use this file except in compliance with the License.%0A *  You may obtain a copy of the License at%0A *%0A *      http://www.apache.org/licenses/LICENSE-2.0%0A *%0A *  Unless required by applicable law or agreed to in writing, software%0A *  distributed under the License is distributed on an %22AS IS%22 BASIS,%0A *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.%0A *  See the License for the specific language governing permissions and%0A *  limitations under the License.%0A */%0A%0Apackage org.sosy_lab.java_smt.api;%0A%0A/**%0A * Possible floating point rounding modes.%0A */%0Apublic enum FloatingPointRoundingMode %7B%0A  NEAREST_TIES_TO_EVEN,%0A  NEAREST_TIES_AWAY,%0A  TOWARD_POSITIVE,%0A  TOWARD_NEGATIVE,%0A  TOWARD_ZERO%0A%7D%0A

Add a class to represent floating point rounding mode.