types.h File Reference

#include "utils/sdbl.h"
#include "utils/vec/vec_sdbl.h"
#include "misc/util/abc_global.h"

Include dependency graph for types.h:

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

Go to the source code of this file.

Macros
#define	VAR_ACT_INIT_INC   SDBL_CONST1
#define	VAR_ACT_LIMIT   ABC_CONST(0x014c924d692ca61b)
#define	VAR_ACT_RESCALE   200
#define	vec_act_alloc(size)
#define	vec_act_free(vec)
#define	vec_act_size(vec)
#define	vec_act_data(vec)
#define	vec_act_clear(vec)
#define	vec_act_shrink(vec, size)
#define	vec_act_at(vec, idx)
#define	vec_act_push_back(vec, value)
#define	CLAUSE_ACT_INIT_INC   (1 << 11)

Typedefs
typedef sdbl_t	act_t
typedef vec_sdbl_t	vec_act_t
typedef unsigned	clause_act_t

Macro Definition Documentation

CLAUSE_ACT_INIT_INC

#define CLAUSE_ACT_INIT_INC   (1 << 11)

Definition at line 35 of file types.h.

VAR_ACT_INIT_INC

#define VAR_ACT_INIT_INC   SDBL_CONST1

Definition at line 20 of file types.h.

VAR_ACT_LIMIT

#define VAR_ACT_LIMIT   ABC_CONST(0x014c924d692ca61b)

Definition at line 21 of file types.h.

VAR_ACT_RESCALE

#define VAR_ACT_RESCALE   200

Definition at line 22 of file types.h.

vec_act_alloc

#define vec_act_alloc

(

size

)

Value:

vec_sdbl_alloc(size)

Definition at line 25 of file types.h.

vec_act_at

#define vec_act_at	(		vec,
			idx )

Value:

vec_sdbl_at(vec, idx)

Definition at line 31 of file types.h.

vec_act_clear

#define vec_act_clear

(

vec

)

Value:

vec_sdbl_clear(vec)

Definition at line 29 of file types.h.

vec_act_data

#define vec_act_data

(

vec

)

Value:

vec_sdbl_data(vec)

Definition at line 28 of file types.h.

vec_act_free

#define vec_act_free

(

vec

)

Value:

vec_sdbl_free(vec)

Definition at line 26 of file types.h.

vec_act_push_back

#define vec_act_push_back	(		vec,
			value )

Value:

vec_sdbl_push_back(vec, value)

Definition at line 32 of file types.h.

vec_act_shrink

#define vec_act_shrink	(		vec,
			size )

Value:

vec_sdbl_shrink(vec, size)

Definition at line 30 of file types.h.

vec_act_size

#define vec_act_size

(

vec

)

Value:

vec_sdbl_size(vec)

Definition at line 27 of file types.h.

Typedef Documentation

act_t

typedef sdbl_t act_t

Definition at line 23 of file types.h.

clause_act_t

typedef unsigned clause_act_t

Definition at line 36 of file types.h.

vec_act_t

typedef vec_sdbl_t vec_act_t

Definition at line 24 of file types.h.