diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2012-12-10 20:48:51 -0500 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2012-12-10 20:48:51 -0500 |
| commit | 67af0bb961e42ab84c5f82245809ea12e2c12758 (patch) | |
| tree | e2ac08edd8f3db204a712b87cf9532eb43f6b709 /src/util/utility.h | |
| parent | a8a471141d2fca4428b7c016ea4494d9925fc544 (diff) | |
ported my bv-core branch from svn to git
Diffstat (limited to 'src/util/utility.h')
| -rw-r--r-- | src/util/utility.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/util/utility.h b/src/util/utility.h index 5ce185b5b..72213764f 100644 --- a/src/util/utility.h +++ b/src/util/utility.h @@ -67,6 +67,15 @@ inline InputIterator find_if_unique(InputIterator first, InputIterator last, Pre return (match2 == last) ? match : last; } +template <class T> +inline T gcd(T a, T b) { + while (b != 0) { + a = b; + b = a % b; + } + return a; +} + }/* CVC4 namespace */ |