value.h File Reference

#include "global.h"

Include dependency graph for value.h:

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

Go to the source code of this file.

Macros
#define	VALUE(LIT)
#define	MARK(LIT)
#define	BOOL_TO_VALUE(B)

Typedefs
typedef signed char	mark

Variables
ABC_NAMESPACE_HEADER_START typedef signed char	value

Macro Definition Documentation

BOOL_TO_VALUE

#define BOOL_TO_VALUE

(

B

)

Value:

((signed char) ((B) ? -1 : 1))

Definition at line 14 of file value.h.

MARK

#define MARK

(

LIT

)

Value:

(solver->marks[KISSAT_assert ((LIT) < LITS), (LIT)])

Definition at line 12 of file value.h.

VALUE

#define VALUE

(

LIT

)

Value:

(solver->values[KISSAT_assert ((LIT) < LITS), (LIT)])

Definition at line 10 of file value.h.

Typedef Documentation

mark

typedef signed char mark

Definition at line 8 of file value.h.

Variable Documentation

value

ABC_NAMESPACE_HEADER_START typedef signed char value

Definition at line 7 of file value.h.