resources_8hpp_source.html

#ifndef _resources_hpp_INCLUDED

#define _resources_hpp_INCLUDED


#include "global.h"


#include <cstdint>


ABC_NAMESPACE_CXX_HEADER_START


namespace CaDiCaL {


double absolute_real_time ();

double absolute_process_time ();


uint64_t maximum_resident_set_size ();

uint64_t current_resident_set_size ();


} // namespace CaDiCaL


ABC_NAMESPACE_CXX_HEADER_END


#endif // ifndef _resources_hpp_INCLUDED

ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_START
Definition abc_namespaces.h:52

ABC_NAMESPACE_CXX_HEADER_END
#define ABC_NAMESPACE_CXX_HEADER_END
Definition abc_namespaces.h:53

global.h

CaDiCaL
Definition arena.hpp:8

CaDiCaL::current_resident_set_size
uint64_t current_resident_set_size()
Definition cadical_resources.cpp:147

CaDiCaL::absolute_process_time
double absolute_process_time()
Definition cadical_resources.cpp:89

CaDiCaL::maximum_resident_set_size
uint64_t maximum_resident_set_size()
Definition cadical_resources.cpp:133

CaDiCaL::absolute_real_time
double absolute_real_time()
Definition cadical_resources.cpp:78