ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
resources.h
Go to the documentation of this file.
1#ifndef _resources_h_INCLUDED
2#define _resources_h_INCLUDED
3
4#include "global.h"
6
8
9#ifndef KISSAT_QUIET
10
11#ifndef _resources_h_INLCUDED
12#define _resources_h_INLCUDED
13
14#include <stdint.h>
15
16struct kissat;
17
18double kissat_process_time (void);
19uint64_t kissat_current_resident_set_size (void);
20uint64_t kissat_maximum_resident_set_size (void);
21void kissat_print_resources (struct kissat *);
22
23#endif
24
25#endif
27
28#endif
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
ABC_NAMESPACE_HEADER_START double kissat_wall_clock_time(void)