satVec.h File Reference

#include "misc/util/abc_global.h"

Include dependency graph for satVec.h:

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

Go to the source code of this file.

Classes
struct	veci_t
struct	vecp_t
struct	stats_t

Macros
#define	false   0
#define	true   1

Typedefs
typedef struct veci_t	veci
typedef struct vecp_t	vecp
typedef int	lit
typedef int	cla
typedef signed char	lbool
typedef struct stats_t	stats_t

Macro Definition Documentation

false

#define false   0

Definition at line 123 of file satVec.h.

true

#define true   1

Definition at line 126 of file satVec.h.

Typedef Documentation

cla

typedef int cla

Definition at line 131 of file satVec.h.

lbool

typedef signed char lbool

Definition at line 135 of file satVec.h.

lit

typedef int lit

Definition at line 130 of file satVec.h.

stats_t

typedef struct stats_t stats_t

Definition at line 159 of file satVec.h.

veci

typedef struct veci_t veci

Definition at line 36 of file satVec.h.

vecp

typedef struct vecp_t vecp

Definition at line 85 of file satVec.h.