watch_list.h File Reference

#include "utils/mem.h"
#include "utils/misc.h"
#include "misc/util/abc_global.h"

Include dependency graph for watch_list.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	watcher
struct	watch_list
struct	vec_wl_t_

Macros
#define	watch_list_foreach(vec, watch, lit)
#define	watch_list_foreach_bin(vec, watch, lit)

Typedefs
typedef struct vec_wl_t_	vec_wl_t

Macro Definition Documentation

watch_list_foreach

#define watch_list_foreach	(		vec,
			watch,
			lit )

Value:

    for (watch = watch_list_array(vec_wl_at(vec, lit)); \
         watch < watch_list_array(vec_wl_at(vec, lit)) + watch_list_size(vec_wl_at(vec, lit)); \
     watch++)

Definition at line 40 of file watch_list.h.

#define watch_list_foreach(vec, watch, lit) \
    for (watch = watch_list_array(vec_wl_at(vec, lit)); \
         watch < watch_list_array(vec_wl_at(vec, lit)) + watch_list_size(vec_wl_at(vec, lit)); \
     watch++)

watch_list_foreach_bin

#define watch_list_foreach_bin	(		vec,
			watch,
			lit )

Value:

    for (watch = watch_list_array(vec_wl_at(vec, lit)); \
         watch < watch_list_array(vec_wl_at(vec, lit)) + vec_wl_at(vec, lit)->n_bin; \
     watch++)

Definition at line 45 of file watch_list.h.

#define watch_list_foreach_bin(vec, watch, lit) \
    for (watch = watch_list_array(vec_wl_at(vec, lit)); \
         watch < watch_list_array(vec_wl_at(vec, lit)) + vec_wl_at(vec, lit)->n_bin; \
     watch++)

Typedef Documentation

vec_wl_t

typedef struct vec_wl_t_ vec_wl_t

Definition at line 30 of file watch_list.h.