From 3f6de721b089823ac15f3d1ad786e6b479dee4d0 Mon Sep 17 00:00:00 2001 From: redpony Date: Wed, 23 Jun 2010 18:29:55 +0000 Subject: use centralized make git-svn-id: https://ws10smt.googlecode.com/svn/trunk@11 ec762483-ff6d-05da-a07a-a48fb63a330f --- gi/clda/src/logval.h | 157 --------------------------------------------------- 1 file changed, 157 deletions(-) delete mode 100644 gi/clda/src/logval.h (limited to 'gi/clda/src/logval.h') diff --git a/gi/clda/src/logval.h b/gi/clda/src/logval.h deleted file mode 100644 index 7099b9be..00000000 --- a/gi/clda/src/logval.h +++ /dev/null @@ -1,157 +0,0 @@ -#ifndef LOGVAL_H_ -#define LOGVAL_H_ - -#include -#include -#include -#include - -template -class LogVal { - public: - LogVal() : s_(), v_(-std::numeric_limits::infinity()) {} - explicit LogVal(double x) : s_(std::signbit(x)), v_(s_ ? std::log(-x) : std::log(x)) {} - static LogVal One() { return LogVal(1); } - static LogVal Zero() { return LogVal(); } - - void logeq(const T& v) { s_ = false; v_ = v; } - - LogVal& operator+=(const LogVal& a) { - if (a.v_ == -std::numeric_limits::infinity()) return *this; - if (a.s_ == s_) { - if (a.v_ < v_) { - v_ = v_ + log1p(std::exp(a.v_ - v_)); - } else { - v_ = a.v_ + log1p(std::exp(v_ - a.v_)); - } - } else { - if (a.v_ < v_) { - v_ = v_ + log1p(-std::exp(a.v_ - v_)); - } else { - v_ = a.v_ + log1p(-std::exp(v_ - a.v_)); - s_ = !s_; - } - } - return *this; - } - - LogVal& operator*=(const LogVal& a) { - s_ = (s_ != a.s_); - v_ += a.v_; - return *this; - } - - LogVal& operator/=(const LogVal& a) { - s_ = (s_ != a.s_); - v_ -= a.v_; - return *this; - } - - LogVal& operator-=(const LogVal& a) { - LogVal b = a; - b.invert(); - return *this += b; - } - - LogVal& poweq(const T& power) { - if (s_) { - std::cerr << "poweq(T) not implemented when s_ is true\n"; - std::abort(); - } else { - v_ *= power; - } - return *this; - } - - void invert() { s_ = !s_; } - - LogVal pow(const T& power) const { - LogVal res = *this; - res.poweq(power); - return res; - } - - operator T() const { - if (s_) return -std::exp(v_); else return std::exp(v_); - } - - bool s_; - T v_; -}; - -template -LogVal operator+(const LogVal& o1, const LogVal& o2) { - LogVal res(o1); - res += o2; - return res; -} - -template -LogVal operator*(const LogVal& o1, const LogVal& o2) { - LogVal res(o1); - res *= o2; - return res; -} - -template -LogVal operator/(const LogVal& o1, const LogVal& o2) { - LogVal res(o1); - res /= o2; - return res; -} - -template -LogVal operator-(const LogVal& o1, const LogVal& o2) { - LogVal res(o1); - res -= o2; - return res; -} - -template -T log(const LogVal& o) { - if (o.s_) return log(-1.0); - return o.v_; -} - -template -LogVal pow(const LogVal& b, const T& e) { - return b.pow(e); -} - -template -bool operator<(const LogVal& lhs, const LogVal& rhs) { - if (lhs.s_ == rhs.s_) { - return (lhs.v_ < rhs.v_); - } else { - return lhs.s_ > rhs.s_; - } -} - -#if 0 -template -bool operator<=(const LogVal& lhs, const LogVal& rhs) { - return (lhs.v_ <= rhs.v_); -} - -template -bool operator>(const LogVal& lhs, const LogVal& rhs) { - return (lhs.v_ > rhs.v_); -} - -template -bool operator>=(const LogVal& lhs, const LogVal& rhs) { - return (lhs.v_ >= rhs.v_); -} -#endif - -template -bool operator==(const LogVal& lhs, const LogVal& rhs) { - return (lhs.v_ == rhs.v_) && (lhs.s_ == rhs.s_); -} - -template -bool operator!=(const LogVal& lhs, const LogVal& rhs) { - return !(lhs == rhs); -} - -#endif -- cgit v1.2.3