From: Tim King Date: Sat, 10 Nov 2012 23:56:46 +0000 (+0000) Subject: Beautifying integer_cln_imp.h X-Git-Tag: cvc5-1.0.0~7620 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a4bebb3ec1e27b433b63dcb2b82f6385e0c40561;p=cvc5.git Beautifying integer_cln_imp.h --- diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h index c48e93d57..78b775bee 100644 --- a/src/util/integer_cln_imp.h +++ b/src/util/integer_cln_imp.h @@ -222,10 +222,10 @@ public: } Integer bitwiseNot() const { - return Integer(cln::lognot(d_value)); + return Integer(cln::lognot(d_value)); } - - + + /** * Return this*(2^pow). */ @@ -239,15 +239,15 @@ public: cln::cl_byte range(amount, size); cln::cl_I allones = (cln::cl_I(1) << (size + amount))- 1; // 2^size - 1 Integer temp(allones); - - return Integer(cln::deposit_field(allones, d_value, range)); + + return Integer(cln::deposit_field(allones, d_value, range)); } - + uint32_t toUnsignedInt() const { - return cln::cl_I_to_uint(d_value); + return cln::cl_I_to_uint(d_value); } - - + + /** See CLN Documentation. */ Integer extractBitRange(uint32_t bitCount, uint32_t low) const { cln::cl_byte range(bitCount, low); @@ -304,9 +304,9 @@ public: } Integer divByPow2(uint32_t exp) const { - return d_value >> exp; + return d_value >> exp; } - + /** * Raise this Integer to the power exp. *