ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Macros
terminate.h File Reference
#include "internal.h"
#include "global.h"
Include dependency graph for terminate.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define TERMINATED(BIT)
 
#define backbone_terminated_1   1
 
#define backbone_terminated_2   2
 
#define backbone_terminated_3   3
 
#define congruence_terminated_1   4
 
#define congruence_terminated_2   5
 
#define congruence_terminated_3   6
 
#define congruence_terminated_4   7
 
#define congruence_terminated_5   8
 
#define congruence_terminated_6   9
 
#define congruence_terminated_7   10
 
#define congruence_terminated_8   11
 
#define congruence_terminated_9   12
 
#define congruence_terminated_10   13
 
#define congruence_terminated_11   14
 
#define congruence_terminated_12   15
 
#define eliminate_terminated_1   16
 
#define eliminate_terminated_2   17
 
#define factor_terminated_1   18
 
#define fastel_terminated_1   19
 
#define forward_terminated_1   20
 
#define kitten_terminated_1   21
 
#define kitten_terminated_2   22
 
#define preprocess_terminated_1   23
 
#define search_terminated_1   24
 
#define substitute_terminated_1   25
 
#define sweep_terminated_1   26
 
#define sweep_terminated_2   27
 
#define sweep_terminated_3   28
 
#define sweep_terminated_4   29
 
#define sweep_terminated_5   30
 
#define sweep_terminated_6   31
 
#define sweep_terminated_7   32
 
#define sweep_terminated_8   33
 
#define transitive_terminated_1   34
 
#define transitive_terminated_2   35
 
#define transitive_terminated_3   36
 
#define vivify_terminated_1   37
 
#define vivify_terminated_2   38
 
#define vivify_terminated_3   39
 
#define vivify_terminated_4   40
 
#define vivify_terminated_5   41
 
#define walk_terminated_1   42
 
#define warmup_terminated_1   43
 

Macro Definition Documentation

◆ backbone_terminated_1

#define backbone_terminated_1   1

Definition at line 45 of file terminate.h.

◆ backbone_terminated_2

#define backbone_terminated_2   2

Definition at line 46 of file terminate.h.

◆ backbone_terminated_3

#define backbone_terminated_3   3

Definition at line 47 of file terminate.h.

◆ congruence_terminated_1

#define congruence_terminated_1   4

Definition at line 48 of file terminate.h.

◆ congruence_terminated_10

#define congruence_terminated_10   13

Definition at line 57 of file terminate.h.

◆ congruence_terminated_11

#define congruence_terminated_11   14

Definition at line 58 of file terminate.h.

◆ congruence_terminated_12

#define congruence_terminated_12   15

Definition at line 59 of file terminate.h.

◆ congruence_terminated_2

#define congruence_terminated_2   5

Definition at line 49 of file terminate.h.

◆ congruence_terminated_3

#define congruence_terminated_3   6

Definition at line 50 of file terminate.h.

◆ congruence_terminated_4

#define congruence_terminated_4   7

Definition at line 51 of file terminate.h.

◆ congruence_terminated_5

#define congruence_terminated_5   8

Definition at line 52 of file terminate.h.

◆ congruence_terminated_6

#define congruence_terminated_6   9

Definition at line 53 of file terminate.h.

◆ congruence_terminated_7

#define congruence_terminated_7   10

Definition at line 54 of file terminate.h.

◆ congruence_terminated_8

#define congruence_terminated_8   11

Definition at line 55 of file terminate.h.

◆ congruence_terminated_9

#define congruence_terminated_9   12

Definition at line 56 of file terminate.h.

◆ eliminate_terminated_1

#define eliminate_terminated_1   16

Definition at line 60 of file terminate.h.

◆ eliminate_terminated_2

#define eliminate_terminated_2   17

Definition at line 61 of file terminate.h.

◆ factor_terminated_1

#define factor_terminated_1   18

Definition at line 62 of file terminate.h.

◆ fastel_terminated_1

#define fastel_terminated_1   19

Definition at line 63 of file terminate.h.

◆ forward_terminated_1

#define forward_terminated_1   20

Definition at line 64 of file terminate.h.

◆ kitten_terminated_1

#define kitten_terminated_1   21

Definition at line 65 of file terminate.h.

◆ kitten_terminated_2

#define kitten_terminated_2   22

Definition at line 66 of file terminate.h.

◆ preprocess_terminated_1

#define preprocess_terminated_1   23

Definition at line 67 of file terminate.h.

◆ search_terminated_1

#define search_terminated_1   24

Definition at line 68 of file terminate.h.

◆ substitute_terminated_1

#define substitute_terminated_1   25

Definition at line 69 of file terminate.h.

◆ sweep_terminated_1

#define sweep_terminated_1   26

Definition at line 70 of file terminate.h.

◆ sweep_terminated_2

#define sweep_terminated_2   27

Definition at line 71 of file terminate.h.

◆ sweep_terminated_3

#define sweep_terminated_3   28

Definition at line 72 of file terminate.h.

◆ sweep_terminated_4

#define sweep_terminated_4   29

Definition at line 73 of file terminate.h.

◆ sweep_terminated_5

#define sweep_terminated_5   30

Definition at line 74 of file terminate.h.

◆ sweep_terminated_6

#define sweep_terminated_6   31

Definition at line 75 of file terminate.h.

◆ sweep_terminated_7

#define sweep_terminated_7   32

Definition at line 76 of file terminate.h.

◆ sweep_terminated_8

#define sweep_terminated_8   33

Definition at line 77 of file terminate.h.

◆ TERMINATED

#define TERMINATED ( BIT)
Value:
kissat_terminated (solver, BIT, #BIT, __FILE__, __LINE__, __func__)
solver
#define solver
Definition kitten.c:211

Definition at line 42 of file terminate.h.

42#define TERMINATED(BIT) \
43 kissat_terminated (solver, BIT, #BIT, __FILE__, __LINE__, __func__)

◆ transitive_terminated_1

#define transitive_terminated_1   34

Definition at line 78 of file terminate.h.

◆ transitive_terminated_2

#define transitive_terminated_2   35

Definition at line 79 of file terminate.h.

◆ transitive_terminated_3

#define transitive_terminated_3   36

Definition at line 80 of file terminate.h.

◆ vivify_terminated_1

#define vivify_terminated_1   37

Definition at line 81 of file terminate.h.

◆ vivify_terminated_2

#define vivify_terminated_2   38

Definition at line 82 of file terminate.h.

◆ vivify_terminated_3

#define vivify_terminated_3   39

Definition at line 83 of file terminate.h.

◆ vivify_terminated_4

#define vivify_terminated_4   40

Definition at line 84 of file terminate.h.

◆ vivify_terminated_5

#define vivify_terminated_5   41

Definition at line 85 of file terminate.h.

◆ walk_terminated_1

#define walk_terminated_1   42

Definition at line 86 of file terminate.h.

◆ warmup_terminated_1

#define warmup_terminated_1   43

Definition at line 87 of file terminate.h.