niuez/ds_verifier

ds_verifier's Issues

依存関係の解決

これが難しい どうしよう

random_choise

template<class Q, class... Qs>
struct Checker {
  static void checker(int n) {
    if(sizeof...(Qs) == n) {
      std::cout << Q::name() << std::endl;
    }
    else {
      Checker<Qs...>::checker(n);
    }
  }
};

template<class Q>
struct Checker<Q> {
  static void checker(int n) {
    assert(n == 0);
    std::cout << Q::name() << std::endl;
  }
};


struct A { static const char* name() { return "A"; } };
struct B { static const char* name() { return "B"; } };
struct C { static const char* name() { return "C"; } };
struct D { static const char* name() { return "D"; } };

int main() {
  Checker<A, B, C, D>::checker(1);
}

GitHub PagesにVerify Resultsを載せる

target別にdetailを書く

Queryの柔軟性を高める

このまままと柔軟性がない

template<class Query>
Query::result_type query(const Query::arg_type&);

template<>
accum_from0<value_type>::result_type query<accum_from0<value_type>>(const accum_from0<value_type>::arg_type& i) {
    //...
}

とすると wavelet matrixのverifyに

using quantile = concat_query<range_sorted<value_type>, access_index<value_type>>;
quantile::result_type query<quantile>(const quantile::arg_type& arg) {
    //...
}

これができる.

concat_queryは, 最初に特殊化しておけば, std::vectorに対しては愚直に, wavelet matrixにはquantileを使うことができて良さそう.