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

Go to the source code of this file.

Macros

#define ABC__misc__espresso__sparse_int_h
 
#define dll_unlink(p, first, last, next, prev, count)
 
#define sm_element_alloc(newobj)
 
#define sm_element_free(e)
 

Functions

 if (last==0)
 
else if (last->value< newval)
 
else if (first->value > newval)
 
 for (p=first;p->value< newval;p=p->next)
 
 if (p->value > newval)
 
void sm_row_remove_element ()
 
void sm_col_remove_element ()
 

Variables

 else
 

Macro Definition Documentation

◆ ABC__misc__espresso__sparse_int_h

#define ABC__misc__espresso__sparse_int_h

Definition at line 33 of file sparse_int.h.

◆ dll_unlink

#define dll_unlink ( p,
first,
last,
next,
prev,
count )
Value:
{ \
if (p->prev == 0) { \
first = p->next; \
} else { \
p->prev->next = p->next; \
} \
if (p->next == 0) { \
last = p->prev; \
} else { \
p->next->prev = p->prev; \
} \
count--; \
}
Cube * p
Definition exorList.c:222

Definition at line 76 of file sparse_int.h.

76#define dll_unlink(p, first, last, next, prev, count) { \
77 if (p->prev == 0) { \
78 first = p->next; \
79 } else { \
80 p->prev->next = p->next; \
81 } \
82 if (p->next == 0) { \
83 last = p->prev; \
84 } else { \
85 p->next->prev = p->prev; \
86 } \
87 count--; \
88}

◆ sm_element_alloc

#define sm_element_alloc ( newobj)
Value:
newobj = ALLOC(sm_element, 1); \
newobj->user_word = NIL(char);
#define ALLOC(type, num)
Definition avl.h:27
#define NIL(type)
Definition avl.h:25
typedefABC_NAMESPACE_HEADER_START struct sm_element_struct sm_element
Definition sparse.h:21

Definition at line 110 of file sparse_int.h.

110#define sm_element_alloc(newobj) \
111 newobj = ALLOC(sm_element, 1); \
112 newobj->user_word = NIL(char);

◆ sm_element_free

#define sm_element_free ( e)
Value:
FREE(e)
#define FREE(obj)
Definition avl.h:31

Definition at line 113 of file sparse_int.h.

113#define sm_element_free(e) \
114 FREE(e)

Function Documentation

◆ for()

for ( p = first;p->value< newval;p=p->next)

◆ if() [1/4]

else if ( first-> value,
newval  )

Definition at line 48 of file sparse_int.h.

48 { \
49 e->value = newval; \
50 first->prev = e; \
51 e->next = first; \
52 first = e; \
53 e->prev = 0; \
54 count++; \
55 } else { \

◆ if() [2/4]

else if ( )

Definition at line 41 of file sparse_int.h.

41 { \
42 e->value = newval; \
43 last->next = e; \
44 e->prev = last; \
45 last = e; \
46 e->next = 0; \
47 count++; \
48 } else if (first->value > newval) { \

◆ if() [3/4]

if ( last = = 0)

Definition at line 34 of file sparse_int.h.

34 { \
35 e->value = newval; \
36 first = e; \
37 last = e; \
38 e->next = 0; \
39 e->prev = 0; \
40 count++; \
41 } else if (last->value < newval) { \
Here is the caller graph for this function:

◆ if() [4/4]

if ( p-> value,
newval  )

Definition at line 59 of file sparse_int.h.

59 { \
60 e->value = newval; \
61 p = p->prev; \
62 p->next->prev = e; \
63 e->next = p->next; \
64 p->next = e; \
65 e->prev = p; \
66 count++; \
67 } else { \

◆ sm_col_remove_element()

void sm_col_remove_element ( )
extern
Here is the caller graph for this function:

◆ sm_row_remove_element()

void sm_row_remove_element ( )
extern
Here is the caller graph for this function:

Variable Documentation

◆ else

else
Initial value:
{
type
CUBE COVER and CUBE typedefs ///.
Definition exor.h:90

Definition at line 55 of file sparse_int.h.