#include "Prefix.h"
#include "nc_alloc.h"
#include <cstdio>
#include <cassert>
#include <iterator>
#include <iostream>
Go to the source code of this file.
Functions |
| template<class T1 , class T2 > |
| EH_BEGIN_NAMESPACE ostream & | operator<< (ostream &s, const pair< T1, T2 > &p) |
| template<class C > |
| EH_END_NAMESPACE void | CheckInvariant (const C &) |
| template<class Value , class Operation > |
| void | WeakCheck (const Value &v, const Operation &op, long max_iters=2000000) |
| template<class Value , class Operation > |
| void | ConstCheck (const Value &v, const Operation &op, long max_iters=2000000) |
| template<class Value , class Operation > |
| void | StrongCheck (const Value &v, const Operation &op, long max_iters=2000000) |