/
yils.h
54 lines (35 loc) · 1.64 KB
/
yils.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
/*-------------------------------------------------------------------------*/
/* Copyright 2021 xnfSAT Authors */
/*-------------------------------------------------------------------------*/
#ifndef YILS_H_INCLUDED
#define YILS_H_INCLUDED
#ifndef YALSINTERNAL
#error "this file is internal to 'libyals'"
#endif
/*------------------------------------------------------------------------*/
#include "yals.h"
/*------------------------------------------------------------------------*/
#include <stdlib.h>
/*------------------------------------------------------------------------*/
#ifndef NDEBUG
void yals_logging (Yals *, int logging);
void yals_checking (Yals *, int checking);
#endif
/*------------------------------------------------------------------------*/
void yals_abort (Yals *, const char * fmt, ...);
void yals_exit (Yals *, int exit_code, const char * fmt, ...);
void yals_msg (Yals *, int level, const char * fmt, ...);
const char * yals_default_prefix (void);
const char * yals_version ();
void yals_banner (const char * prefix);
/*------------------------------------------------------------------------*/
double yals_process_time (); // process time
double yals_sec (Yals *); // time in 'yals_sat'
size_t yals_max_allocated (Yals *); // max allocated bytes
/*------------------------------------------------------------------------*/
void * yals_malloc (Yals *, size_t);
void yals_free (Yals *, void*, size_t);
void * yals_realloc (Yals *, void*, size_t, size_t);
/*------------------------------------------------------------------------*/
void yals_srand (Yals *, unsigned long long);
#endif