xsatWatchList.h File Reference

#include "misc/util/abc_global.h"

Include dependency graph for xsatWatchList.h:

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

Go to the source code of this file.

Classes
struct	xSAT_Watcher_t_
struct	xSAT_WatchList_t_
struct	xSAT_VecWatchList_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_Watcher_t_	xSAT_Watcher_t
	INCLUDES ///.
typedef struct xSAT_WatchList_t_	xSAT_WatchList_t
typedef struct xSAT_VecWatchList_t_	xSAT_VecWatchList_t

Typedef Documentation

xSAT_VecWatchList_t

typedef struct xSAT_VecWatchList_t_ xSAT_VecWatchList_t

Definition at line 49 of file xsatWatchList.h.

xSAT_Watcher_t

typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_Watcher_t_ xSAT_Watcher_t

INCLUDES ///.

CFile****************************************************************

FileName [xsatWatchList.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [xSAT - A SAT solver written in C. Read the license file for more info.]

Synopsis [Watch list and its related structures implementation]

Author [Bruno Schmitt bosch.nosp@m.mitt.nosp@m.@inf..nosp@m.ufrg.nosp@m.s.br]

Affiliation [UC Berkeley / UFRGS]

Date [Ver. 1.0. Started - November 10, 2016.]

Revision [] STRUCTURE DEFINITIONS ///

Definition at line 34 of file xsatWatchList.h.

xSAT_WatchList_t

typedef struct xSAT_WatchList_t_ xSAT_WatchList_t

Definition at line 41 of file xsatWatchList.h.