#ifndef KMERSTORE_H
#define KMERSTORE_H

#include <map>
#include <string>
#include <list>
#include <stdexcept>
#include <stdint.h>
#include <math.h>
#include "bioreader.hpp"
#include "tools.h"

using namespace std;

typedef
enum { KMER_INDEX, AC_AUTOMATON } IndexTypes;

#define MAX_PRECOMPUTED_PROBA 500 /* Precompute 500 probabilities for each index load */
class Kmer {
public:
  unsigned int count;

  Kmer();

  /**
   * This constructor is used via a IKmerStore<Kmer> index (hence the argument list)       
   */
  Kmer(const string &label, int strand=1, size_t length=0);

  Kmer &operator+=(const Kmer &);

  /**
   * @return the length of the kmer (only there for compatibility with KmerAffect)
   */
  size_t getLength() const;

  /**
   * When indexing revcomp, should the value be the same or not?
   * In other words, does the information stored by the class is strand-dependent?
   */
  static bool hasRevcompSymetry();

  /**
   * @return true if the element is the same as when initialised with default constructor.
   */
  bool isNull() const;
	
	string getLabel() const;

  /**
   * @return true iff the kmer is unknown (which doesn't make sense here but
   * it only there for a reason of compatibility with KmerAffect)
   */
  bool isUnknown() const;
  /**
   * @return true iff the kmer is ambiguous (which doesn't make sense here but
   * it only there for a reason of compatibility with KmerAffect)
   */
  bool isAmbiguous() const;
} ;
ostream &operator<<(ostream &os, const Kmer &kmer);
bool operator==(const Kmer &k1, const Kmer &k2);
bool operator<(const Kmer &k1, const Kmer &k2);
bool operator>(const Kmer &k1, const Kmer &k2);
bool operator<=(const Kmer &k1, const Kmer &k2);
bool operator>=(const Kmer &k1, const Kmer &k2);
bool operator!=(const Kmer &k1, const Kmer &k2);



/* K-mer indexing */

template <class T> class IKmerStore
{
protected:
  bool revcomp_indexed;
  int k; // weight of the seed
  int s; // span of the seed (s >= k)
  string seed ;
  size_t nb_kmers_inserted;
  size_t max_size_indexing;
  bool finished_building;
  map<float, vector<double> > precomputed_proba_with_system,
    precomputed_proba_without_system;

public:

  virtual ~IKmerStore();

  static int last_id;
  int id; // id of this index
  int refs; // number of germlines using this index
  bool multiple_in_one;

  list< pair <T, BioReader> > labels;

  IKmerStore();

  /**
   * @param input: A single FASTA file
   * @param label: label that must be associated to the given files
   * @param seed: the seed to use for indexing. By default it will be the seed of the index
   * @post All the sequences in the FASTA files have been indexed, and the label is stored in the list of labels
   */
  void insert(BioReader& input, const string& label="", int keep_only = 0, string seed = "");

  /**
   * @param input: A list of FASTA files
   * @param label: label that must be associated to the given files
   * @param seed: the seed to use for indexing. By default it will be the seed of the index
   * @post All the sequences in the FASTA files have been indexed, and the label is stored in the list of labels
   */
  void insert(list<BioReader>& input, const string& label="", int keep_only = 0, string seed = "");
  
  /**
   * @param input: A sequence to be cut in k-mers
   * @param label: label that must be associated to the given files
   * @param keep_only: if > 0 will keep at most the last keep_only nucleotides
   *                   of the sequence. if < 0 will keep at most the first
   *                   keep_only nucleotides of the sequence. if == 0,
   *                   will keep all the sequence.
   * @param seed: the seed to use for indexing. By default it will be the seed of the index. Also note that when the index ! hasDifferentKmerTypes(), the seed of the index will always be used (and therefore the parameter will be ignored)
   * @post All the k-mers in the sequence have been indexed.
   */
  virtual void insert(const seqtype &sequence,
                      const string &label,
                      bool ignore_extended_nucleotides=true, int keep_only = 0,
                      string seed="");

  /**
   * Perform extra steps to finish the building of the index. After using
   * that function, we are not supposed to insert any other sequence.
   * No query function should be called before calling that function.
   */
  virtual void finish_building();

  /**
   * @param word: a k-mer
   * @return the value for the kmer as stored in the structure (don't do revcomp)
   */ 
  virtual T& get(seqtype &word) = 0;

  /**
   * @return the percentage of kmers that are set in the index.
   *         When ! hasDifferentKmerTypes(), the index load is always the same
   *         (apart for the unknown kmer).
   *         When kmer.isUnknown(), we return the load of all th other kmers.
   */
  virtual float getIndexLoad(T kmer) const;

  /**
   * @return the given integer (size of a read),
   *         but limit this size to max_size_indexing if it was defined
   */
  int atMostMaxSizeIndexing(int n) const;

  /**
   * @return probability that the number of kmers is 'at_least' or more in a sequence of length 'length'
   */
  double getProbabilityAtLeastOrAbove(T kmer, int at_least, int length);

  /**
   * @return the value of k
   */
  int getK() const;

  /**
   * @return the value of s
   */
  int getS() const;

  /**
   * @return the seed used
   */
  string getSeed() const;

  /**
   * @param kmer: a kmer
   * @return one label associated with the kmer
   */
  BioReader getLabel(T kmer) const;

  /**
   * @return whether the index differentiate kmer types
   */
  virtual bool hasDifferentKmerTypes() const;

  /**
   * @param seq: a sequence
   * @param no_revcomp: force not to revcomp the sequence, even if
   *                    the index was built with revcomp.
   * @return a vector of length seq.length() - d, where d is the span
   *         of the seed (minus one) or is 0 when it doesn't apply.
   * containing for each position the corresponding value in the index.
   */
  virtual vector<T> getResults(const seqtype &seq, bool no_revcomp=false, string seed="") = 0;

  /**
   * @return true iff the revcomp is indexed
   */
  bool isRevcomp() const;

  /**
   * @param string: a k-mer
   * @return the value in the index associated to the given k-mer.
   *         isRevcomp() ==> the revcomp of the k-mer may be considered
   * @pre word.length() == this->k
   */
  virtual T& operator[](seqtype& word) = 0;

 protected:

  void precompute_proba(float index_load);
};

template<class T>
IKmerStore<T>::IKmerStore() {
  id = ++last_id;
  refs = 0;
  finished_building = false;
  multiple_in_one = false;
}

template<class T> int IKmerStore<T>::last_id = 0;

template <class T> 
class MapKmerStore : public IKmerStore<T>
{
public:	
  map<seqtype, T> store;

  /**
   * @param bool: if true, will also index revcomp
   * @param seed: the seed
   */
  MapKmerStore(string seed, bool=false);
  MapKmerStore(int k, bool=false);

  vector<T> getResults(const seqtype &seq, bool no_revcomp=false, string seed="");
  T& get(seqtype &word);
  T& operator[](seqtype & word);

 private:
  void init();
};

template <class T> 
class ArrayKmerStore : public IKmerStore<T>
{
  T* store;
	
  int index(const seqtype& word) const;

  /**
   * Allocates memory for store
   * @throws bad_alloc: when there is not enough memory or when the
   *                    the total number of kmers cannot be stored in an 
   *                    unsigned int
   */
  void init();
public:
  /**
   * @param bool: if true, will also index revcomp
   * @param seed: the seed
   */
  ArrayKmerStore(string seed, bool=false);
  ArrayKmerStore(int k, bool=false);
  ~ArrayKmerStore();

  vector<T> getResults(const seqtype &seq, bool no_revcomp=false, const string seed="");
  T& get(seqtype &word);
  T& operator[](seqtype & word);
  T& operator[](int word);
};


// IKmerStore

template<class T>
IKmerStore<T>::~IKmerStore(){}

template<class T> 
void IKmerStore<T>::insert(list<BioReader>& input,
                           const string &label,
                           int keep_only,
                           string seed){
  for(list<BioReader>::iterator it = input.begin() ; it != input.end() ; it++){
    insert(*it, label, keep_only, seed);
  }
}

template<class T> 
void IKmerStore<T>::insert(BioReader& input,
                           const string &label,
                           int keep_only,
                           string seed){
  for (int r = 0; r < input.size(); r++) {
    insert(input.sequence(r), label, true, keep_only, seed);
  }

  labels.push_back(make_pair(T(label, 1, seed.size()), input)) ;

  if (revcomp_indexed  && ! T::hasRevcompSymetry()) {
    labels.push_back(make_pair(T(label, -1, seed.size()), input)) ;
  }
}

template<class T> 
void IKmerStore<T>::insert(const seqtype &sequence,
                           const string &label,
                           bool ignore_extended_nucleotides,
                           int keep_only,
                           string seed){
  size_t start_indexing = 0;
  size_t end_indexing = sequence.length();
  if (keep_only > 0 && sequence.length() > (size_t)keep_only) {
    start_indexing = sequence.length() - keep_only;
  } else if (keep_only < 0 && sequence.length() > (size_t) -keep_only) {
    end_indexing = -keep_only;
  }

  if (seed.empty() || ! this->hasDifferentKmerTypes())
    seed = this->seed;

  size_t seed_span = seed.length();
  size_t size_indexing = end_indexing - start_indexing;
  if (size_indexing > max_size_indexing) {
    max_size_indexing = size_indexing;
  }

  for(size_t i = start_indexing ; i + seed_span < end_indexing + 1 ; i++) {
    seqtype substr = sequence.substr(i, seed_span);
    seqtype kmer = spaced(substr, seed);

    if (ignore_extended_nucleotides && has_extended_nucleotides(kmer))
      continue;

    int strand = 1;
    if (revcomp_indexed && T::hasRevcompSymetry()) {
      seqtype rc_kmer = revcomp(kmer);
      if (rc_kmer.compare(kmer) < 0) {
        strand = -1;
        kmer = rc_kmer;
      }
    }
    T &this_kmer = this->get(kmer);
    if (this_kmer.isNull()) {
      nb_kmers_inserted++;
    }
    this_kmer += T(label, strand, seed.size());
    if (revcomp_indexed && ! T::hasRevcompSymetry()) {
      seqtype rc_kmer = spaced(revcomp(substr), seed);
      T &this_rc_kmer = this->get(rc_kmer);
      if (this_rc_kmer.isNull())
        nb_kmers_inserted++;
      this_rc_kmer += T(label, -1, seed.size());
    }
  }
}

template<class T>
void IKmerStore<T>::finish_building() {
  finished_building = true;
}

template<class T>
float IKmerStore<T>::getIndexLoad(const T kmer) const {
  float index_load = nb_kmers_inserted / pow(4.0, k);
  return (kmer.isUnknown()) ? 1 - index_load : index_load;
}

template<class T>
int IKmerStore<T>::atMostMaxSizeIndexing(int n) const {
  if (!max_size_indexing || n < max_size_indexing)
    return n ;

  return max_size_indexing ;
}

template<class T>
void IKmerStore<T>::precompute_proba(float index_load) {
  precomputed_proba_with_system[index_load] = vector<double>(MAX_PRECOMPUTED_PROBA);
  precomputed_proba_without_system[index_load] = vector<double>(MAX_PRECOMPUTED_PROBA);

  vector<double> &pproba_with = precomputed_proba_with_system[index_load];
  vector<double> &pproba_without = precomputed_proba_without_system[index_load];

  pproba_with[0] = 1;
  pproba_without[0] = 1;
  for (int i = 1; i < MAX_PRECOMPUTED_PROBA; i++) {
    pproba_with[i] = pproba_with[i - 1] * index_load;
    pproba_without[i] = pproba_without[i - 1] * (1 - index_load);
  }
}

template<class T>
double IKmerStore<T>::getProbabilityAtLeastOrAbove(const T kmer, int at_least, int length)  {

  if (at_least == 0) return 1.0; // even if 'length' is very small
  
  // n: number of kmers in the sequence
  int n = length - getS() + 1;
  float index_load = getIndexLoad(kmer) ;
  if (! precomputed_proba_without_system.count(index_load)) {
    precompute_proba(index_load);
  }

  double proba = 0;

  double probability_not_having_system;
  double probability_having_system;
  if (precomputed_proba_with_system.at(index_load).size() > (size_t)at_least)
    probability_having_system = precomputed_proba_with_system.at(index_load)[at_least];
  else
    probability_having_system = pow(index_load, at_least);
  if (precomputed_proba_without_system.at(index_load).size() > (size_t)n - at_least)
    probability_not_having_system = precomputed_proba_without_system.at(index_load)[n-at_least];
  else
    probability_not_having_system = pow(1 - index_load, n - at_least);
  for (int i=at_least; i<=n; i++) {
    proba += nChoosek(n, i) * probability_having_system * probability_not_having_system;
    probability_having_system *= index_load;
    probability_not_having_system /= (1 - index_load);
  }

#ifdef DEBUG_KMS_EVALUE
  cerr << "e-value:\tindex_load=" << index_load << ",\tat_least=" << at_least << ",\tlength=" << length <<",\tp-value=" << proba << endl;
#endif

  return proba;
}



template<class T>
int IKmerStore<T>::getK() const {
  return k;
}

template<class T>
int IKmerStore<T>::getS() const {
  return s;
}

template<class T>
string IKmerStore<T>::getSeed() const {
  return seed;
}

template<class T>
BioReader IKmerStore<T>::getLabel(T kmer) const {
  for (typename list< pair<T, BioReader> >::const_iterator it = labels.begin(); it != labels.end(); ++it)
    if (it->first == kmer)
      return it->second ;
  // Nothing interesting found
  // Try by ignoring length if the index is not able to deal with different lengths
  if (! hasDifferentKmerTypes() && kmer.getLength() != (unsigned char)~0) {
    kmer.setLength(~0);
    return getLabel(kmer);
  }
  return BIOREADER_AMBIGUOUS ;
}

template<class T>
bool IKmerStore<T>::hasDifferentKmerTypes() const {
  return false;
}

// .getResults()
template<class T>
vector<T> MapKmerStore<T>::getResults(const seqtype &seq, bool no_revcomp, string seed) {

  string local_seed = seed;
  if (! seed.size())
    local_seed = IKmerStore<T>::seed;
  int s = local_seed.size();

  if ((int)seq.length() < s - 1) {
    return vector<T>(0);
  }
  vector<T> result(seq.length() - s + 1);
  for (size_t i=0; i + s < seq.length() + 1; i++) {
    seqtype kmer = spaced(seq.substr(i, s), local_seed);
    //    seqtype kmer = seq.substr(i, s);
    // cout << kmer << endl << kmer0 << endl << endl ;
    if (IKmerStore<T>::revcomp_indexed && no_revcomp) {
      result[i] = get(kmer);
    } else {
      result[i] = (*this)[kmer];
    }
  }
  return result;
}

template<class T>
vector<T> ArrayKmerStore<T>::getResults(const seqtype &seq, bool no_revcomp, string seed) {

  string local_seed = seed;
  if (! seed.size())
    local_seed = IKmerStore<T>::seed;
  int s = local_seed.size();

  int N = (int)seq.length();

  if (N < s - 1) {
    return vector<T>(0);
  }
  vector<T> result(N - s + 1);

  /* Read once the sequence, convert it to int* */
  int* intseq = new int[N];
  for (int i=0; i<N; i++)
    {
      intseq[i] = nuc_to_int(seq[i]);
    }

  /* Compute results */
  for (size_t i=0; (int) i+s < N+1; i++) {
    int kmer = spaced_int(intseq + i, local_seed);
    if (IKmerStore<T>::revcomp_indexed && no_revcomp) {
      result[i] = store[kmer]; // getfromint(kmer); // store[kmer];
      // cout << i << "/" << N << "  " << kmer << result[i] << endl ;
    } else {
      result[i] = (*this)[kmer]; // Deals with revcomp
    }
  }

  delete[] intseq ;
  return result;
}


template<class T>
bool IKmerStore<T>::isRevcomp() const {
  return revcomp_indexed;
}

// MapKmerStore

template <class T>
MapKmerStore<T>::MapKmerStore(string seed, bool revcomp):IKmerStore<T>(){
  this->seed = seed;   
  int k = seed_weight(seed);
  this->k = k;
  this->s = seed.size();
  this->revcomp_indexed = revcomp;
  init();
}

template <class T>
MapKmerStore<T>::MapKmerStore(int k, bool revcomp):IKmerStore<T>(){
  this->seed = seed_contiguous(k);
  this->k = k;
  this->s = k;
  this->revcomp_indexed = revcomp;
  init();
}

template <class T>
void MapKmerStore<T>::init() {
  this->nb_kmers_inserted = 0;
  this->max_size_indexing = 0;
}

template <class T> 
T& MapKmerStore<T>::get(seqtype& word){
  return store[word];
}

template <class T> 
T& MapKmerStore<T>::operator[](seqtype& word){
  if (this->isRevcomp() && T::hasRevcompSymetry()) {
    seqtype rc_kmer = revcomp(word);
    if (rc_kmer.compare(word) < 0)
      word = rc_kmer;
  }
  return store[word];
}

// ArrayKmerStore

template <class T> 
ArrayKmerStore<T>::ArrayKmerStore(int k, bool revcomp):IKmerStore<T>() {
  this->seed = seed_contiguous(k);
  this->k = k;
  this->s = k;
  this->revcomp_indexed = revcomp;
  init();
}


template <class T> 
ArrayKmerStore<T>::ArrayKmerStore(string seed, bool revcomp):IKmerStore<T>(){
  this->seed = seed; 
  int k = seed_weight(seed);
  this->k = k;
  this->s = seed.size();
  this->revcomp_indexed = revcomp;
  init();
}

template <class T>
void ArrayKmerStore<T>::init() {
  this->nb_kmers_inserted = 0;
  this->max_size_indexing = 0;
  if ((size_t)(this->k << 1) >= sizeof(int) * 8)
    throw std::bad_alloc();
  store = new T[(unsigned int)1 << (this->k << 1)];
  if (! store)
    throw std::bad_alloc();
}

template <class T> 
ArrayKmerStore<T>::~ArrayKmerStore(){
  delete [] store;
}

/**	Returns index of word in an array of size 4^k
	Considering B(A) = 0, B(C) = 1, B(T) = 2, B(G) = 3
	index_word = \sum_{i=0}^{k-1}B(word[i])*4^(k-i-1)
**/
template <class T> 
int ArrayKmerStore<T>::index(const seqtype& word) const{
  return dna_to_int(word, this->k);
}

template <class T> 
T& ArrayKmerStore<T>::get(seqtype& word){
  return store[index(word)];
}

template <class T> 
T& ArrayKmerStore<T>::operator[](seqtype& word){
  return (*this)[index(word)];
}

template <class T> 
T& ArrayKmerStore<T>::operator[](int word){
  if (this->isRevcomp() && T::hasRevcompSymetry()) {
    int rc_kmer = revcomp_int(word, IKmerStore<T>::k);
    if (rc_kmer < word)
      word = rc_kmer;
  }
  return store[word];
}

#endif