BooleanRedux.h

// This file is part of Eigen, a lightweight C++ template library
// for linear algebra.
//
// Copyright (C) 2008 Gael Guennebaud <gael.guennebaud@inria.fr>
//
// This Source Code Form is subject to the terms of the Mozilla
// Public License v. 2.0. If a copy of the MPL was not distributed
// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
 
#ifndef EIGEN_ALLANDANY_H
#define EIGEN_ALLANDANY_H
 
namespace Eigen { 
 
namespace internal {
 
template<typename Derived, int UnrollCount, int InnerSize>
struct all_unroller
{
  enum {
    IsRowMajor = (int(Derived::Flags) & int(RowMajor)),
    i = (UnrollCount-1) / InnerSize,
    j = (UnrollCount-1) % InnerSize
  };
 
  EIGEN_DEVICE_FUNC static inline bool run(const Derived &mat)
  {
    return all_unroller<Derived, UnrollCount-1, InnerSize>::run(mat) && mat.coeff(IsRowMajor ? i : j, IsRowMajor ? j : i);
  }
};
 
template<typename Derived, int InnerSize>
struct all_unroller<Derived, 0, InnerSize>
{
  EIGEN_DEVICE_FUNC static inline bool run(const Derived &/*mat*/) { return true; }
};
 
template<typename Derived, int InnerSize>
struct all_unroller<Derived, Dynamic, InnerSize>
{
  EIGEN_DEVICE_FUNC static inline bool run(const Derived &) { return false; }
};
 
template<typename Derived, int UnrollCount, int InnerSize>
struct any_unroller
{
  enum {
    IsRowMajor = (int(Derived::Flags) & int(RowMajor)),
    i = (UnrollCount-1) / InnerSize,
    j = (UnrollCount-1) % InnerSize
  };
 
  EIGEN_DEVICE_FUNC static inline bool run(const Derived &mat)
  {
    return any_unroller<Derived, UnrollCount-1, InnerSize>::run(mat) || mat.coeff(IsRowMajor ? i : j, IsRowMajor ? j : i);
  }
};
 
template<typename Derived, int InnerSize>
struct any_unroller<Derived, 0, InnerSize>
{
  EIGEN_DEVICE_FUNC static inline bool run(const Derived & /*mat*/) { return false; }
};
 
template<typename Derived, int InnerSize>
struct any_unroller<Derived, Dynamic, InnerSize>
{
  EIGEN_DEVICE_FUNC static inline bool run(const Derived &) { return false; }
};
 
} // end namespace internal

template<typename Derived>
EIGEN_DEVICE_FUNC inline bool DenseBase<Derived>::all() const
{
  typedef internal::evaluator<Derived> Evaluator;
  enum {
    unroll = SizeAtCompileTime != Dynamic
          && SizeAtCompileTime * (int(Evaluator::CoeffReadCost) + int(NumTraits<Scalar>::AddCost)) <= EIGEN_UNROLLING_LIMIT
  };
  Evaluator evaluator(derived());
  if(unroll)
    return internal::all_unroller<Evaluator, unroll ? int(SizeAtCompileTime) : Dynamic, InnerSizeAtCompileTime>::run(evaluator);
  else
  {
    for(Index i = 0; i < derived().outerSize(); ++i)
      for(Index j = 0; j < derived().innerSize(); ++j)
        if (!evaluator.coeff(IsRowMajor ? i : j, IsRowMajor ? j : i)) return false;
    return true;
  }
}

template<typename Derived>
EIGEN_DEVICE_FUNC inline bool DenseBase<Derived>::any() const
{
  typedef internal::evaluator<Derived> Evaluator;
  enum {
    unroll = SizeAtCompileTime != Dynamic
          && SizeAtCompileTime * (int(Evaluator::CoeffReadCost) + int(NumTraits<Scalar>::AddCost)) <= EIGEN_UNROLLING_LIMIT
  };
  Evaluator evaluator(derived());
  if(unroll)
    return internal::any_unroller<Evaluator, unroll ? int(SizeAtCompileTime) : Dynamic, InnerSizeAtCompileTime>::run(evaluator);
  else
  {
    for(Index i = 0; i < derived().outerSize(); ++i)
      for(Index j = 0; j < derived().innerSize(); ++j)
        if (evaluator.coeff(IsRowMajor ? i : j, IsRowMajor ? j : i)) return true;
    return false;
  }
}

template<typename Derived>
EIGEN_DEVICE_FUNC inline Eigen::Index DenseBase<Derived>::count() const
{
  return derived().template cast<bool>().template cast<Index>().sum();
}

template<typename Derived>
inline bool DenseBase<Derived>::hasNaN() const
{
#if EIGEN_COMP_MSVC || (defined __FAST_MATH__)
  return derived().array().isNaN().any();
#else
  return !((derived().array()==derived().array()).all());
#endif
}

template<typename Derived>
inline bool DenseBase<Derived>::allFinite() const
{
#if EIGEN_COMP_MSVC || (defined __FAST_MATH__)
  return derived().array().isFinite().all();
#else
  return !((derived()-derived()).hasNaN());
#endif
}
 
} // end namespace Eigen
 
#endif // EIGEN_ALLANDANY_H