ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
resources.hpp
Go to the documentation of this file.
1#ifndef _resources_hpp_INCLUDED
2#define _resources_hpp_INCLUDED
3
4#include "global.h"
5
6#include <cstdint>
7
9
10namespace CaDiCaL {
11
12double absolute_real_time ();
13double absolute_process_time ();
14
17
18} // namespace CaDiCaL
19
21
22#endif // ifndef _resources_hpp_INCLUDED
#define ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_END
uint64_t current_resident_set_size()
double absolute_process_time()
uint64_t maximum_resident_set_size()
double absolute_real_time()