cadical_factor.cpp File Reference

#include "global.h"
#include "internal.hpp"

Include dependency graph for cadical_factor.cpp:

Go to the source code of this file.

Namespaces
namespace	CaDiCaL

Macros
#define	FACTORS   1
#define	QUOTIENT   2
#define	NOUNTED   4

Macro Definition Documentation

FACTORS

#define FACTORS   1

Definition at line 9 of file cadical_factor.cpp.

NOUNTED

#define NOUNTED   4

Definition at line 11 of file cadical_factor.cpp.

QUOTIENT

#define QUOTIENT   2

Definition at line 10 of file cadical_factor.cpp.