kitty_static_tt.hpp

Go to the documentation of this file.

#ifndef _KITTY_STATIC_TT_H_
#define _KITTY_STATIC_TT_H_
#pragma once
 
#include <array>
#include <cstdint>
 
#include "kitty_constants.hpp"
 
ABC_NAMESPACE_CXX_HEADER_START
 
namespace kitty
{
 
template<uint32_t NumVars, bool = ( NumVars <= 6 )>
struct static_truth_table;

template<uint32_t NumVars>
struct static_truth_table<NumVars, true>
{
  enum
  {
    NumBits = uint64_t( 1 ) << NumVars
  };

  inline static_truth_table<NumVars> construct() const
  {
    return static_truth_table<NumVars>();
  }

  inline uint32_t num_vars() const noexcept { return NumVars; }

  inline uint32_t num_blocks() const noexcept { return 1u; }

  inline uint32_t num_bits() const noexcept { return NumBits; }

  inline uint64_t * begin() noexcept { return &_bits; }

  inline uint64_t * end() noexcept { return ( &_bits ) + 1; }

  inline const uint64_t * begin() const noexcept { return &_bits; }

  inline const uint64_t * end() const noexcept { return ( &_bits ) + 1; }

  inline uint64_t * rbegin() noexcept { return &_bits; }

  inline uint64_t * rend() noexcept { return ( &_bits ) + 1; }

  inline const uint64_t * cbegin() const noexcept { return &_bits; }

  inline const uint64_t * cend() const noexcept { return ( &_bits ) + 1; }

  inline const uint64_t * crbegin() const noexcept { return &_bits; }

  inline const uint64_t * crend() const noexcept { return ( &_bits ) + 1; }

  template<class TT>
  static_truth_table<NumVars>& operator=( const TT& other )
  {
    if ( other.num_vars() == num_vars() )
    {
      std::copy( other.begin(), other.end(), begin() );
    }
 
    return *this;
  }

  inline void mask_bits() noexcept { _bits &= detail::masks[NumVars]; }

public: /* fields */
  uint64_t _bits = 0;
};

template<uint32_t NumVars>
struct static_truth_table<NumVars, false>
{
  enum
  {
    NumBlocks = ( NumVars <= 6 ) ? 1u : ( 1u << ( NumVars - 6 ) )
  };
 
  enum
  {
    NumBits = uint64_t( 1 ) << NumVars
  };

  static_truth_table()
  {
    _bits.fill( 0 );
  }

  inline static_truth_table<NumVars> construct() const
  {
    return static_truth_table<NumVars>();
  }

  inline uint32_t num_vars() const noexcept { return NumVars; }

  inline uint32_t num_blocks() const noexcept { return NumBlocks; }

  inline uint32_t num_bits() const noexcept { return NumBits; }

  inline typename std::array<uint64_t, NumBlocks>::iterator begin() noexcept { return _bits.begin(); }

  inline typename std::array<uint64_t, NumBlocks>::iterator end() noexcept { return _bits.end(); }

  inline typename std::array<uint64_t, NumBlocks>::const_iterator begin() const noexcept { return _bits.begin(); }

  inline typename std::array<uint64_t, NumBlocks>::const_iterator end() const noexcept { return _bits.end(); }

  inline typename std::array<uint64_t, NumBlocks>::reverse_iterator rbegin() noexcept { return _bits.rbegin(); }

  inline typename std::array<uint64_t, NumBlocks>::reverse_iterator rend() noexcept { return _bits.rend(); }

  inline typename std::array<uint64_t, NumBlocks>::const_iterator cbegin() const noexcept { return _bits.cbegin(); }

  inline typename std::array<uint64_t, NumBlocks>::const_iterator cend() const noexcept { return _bits.cend(); }

  inline typename std::array<uint64_t, NumBlocks>::const_reverse_iterator crbegin() const noexcept { return _bits.crbegin(); }

  inline typename std::array<uint64_t, NumBlocks>::const_reverse_iterator crend() const noexcept { return _bits.crend(); }

  template<class TT>
  static_truth_table<NumVars>& operator=( const TT& other )
  {
    if ( other.num_bits() == num_bits() )
    {
      std::copy( other.begin(), other.end(), begin() );
    }
 
    return *this;
  }

  inline void mask_bits() noexcept {}

public: /* fields */
  std::array<uint64_t, NumBlocks> _bits;
};
 
} //namespace kitty
 
ABC_NAMESPACE_CXX_HEADER_END
 
#endif // _KITTY_STATIC_TT_H_