kitty_dynamic_tt.hpp

Go to the documentation of this file.

#ifndef _KITTY_DYNAMIC_TT_H_
#define _KITTY_DYNAMIC_TT_H_
#pragma once
 
#include <vector>
#include <cstdint>
#include <type_traits>
 
#include "kitty_constants.hpp"
 
ABC_NAMESPACE_CXX_HEADER_START
 
namespace kitty
{

struct dynamic_truth_table
{
  explicit dynamic_truth_table( uint32_t num_vars )
      : _bits( ( num_vars <= 6 ) ? 1u : ( 1u << ( num_vars - 6 ) ) ),
        _num_vars( num_vars )
  {
  }

  dynamic_truth_table() : _num_vars( 0 ) {}

  inline dynamic_truth_table construct() const
  {
    return dynamic_truth_table( _num_vars );
  }

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

  inline uint32_t num_blocks() const noexcept { return _bits.size(); }

  inline uint32_t num_bits() const noexcept { return uint64_t( 1 ) << _num_vars; }

  inline std::vector<uint64_t>::iterator begin() noexcept { return _bits.begin(); }

  inline std::vector<uint64_t>::iterator end() noexcept { return _bits.end(); }

  inline std::vector<uint64_t>::const_iterator begin() const noexcept { return _bits.begin(); }

  inline std::vector<uint64_t>::const_iterator end() const noexcept { return _bits.end(); }

  inline std::vector<uint64_t>::reverse_iterator rbegin() noexcept { return _bits.rbegin(); }

  inline std::vector<uint64_t>::reverse_iterator rend() noexcept { return _bits.rend(); }

  inline std::vector<uint64_t>::const_iterator cbegin() const noexcept { return _bits.cbegin(); }

  inline std::vector<uint64_t>::const_iterator cend() const noexcept { return _bits.cend(); }

  inline std::vector<uint64_t>::const_reverse_iterator crbegin() const noexcept { return _bits.crbegin(); }

  inline std::vector<uint64_t>::const_reverse_iterator crend() const noexcept { return _bits.crend(); }

  template<class TT>
  dynamic_truth_table& operator=( const TT& other )
  {
    _bits.resize( other.num_blocks() );
    std::copy( other.begin(), other.end(), begin() );
    _num_vars = other.num_vars();
 
    if ( _num_vars < 6 )
    {
      mask_bits();
    }
 
    return *this;
  }

  inline void mask_bits() noexcept
  {
    if ( _num_vars < 6 )
    {
      _bits[0u] &= detail::masks[_num_vars];
    }
  }

public: /* fields */
  std::vector<uint64_t> _bits;
  uint32_t _num_vars;
};
 
} //namespace kitty
 
ABC_NAMESPACE_CXX_HEADER_END
 
#endif // _KITTY_DYNAMIC_TT_H_