cadical_sweep.cpp File Reference

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

Include dependency graph for cadical_sweep.cpp:

Go to the source code of this file.

Classes
struct	CaDiCaL::sweep_candidate
struct	CaDiCaL::rank_sweep_candidate

Namespaces
namespace	CaDiCaL

Macros
#define	INVALID64   INT64_MAX
#define	INVALID   UINT_MAX
#define	all_scheduled(IDX)

Macro Definition Documentation

all_scheduled

#define all_scheduled

(

IDX

)

Value:

  int IDX = sweeper.first, NEXT_##IDX; \
  IDX != 0 && (NEXT_##IDX = sweeper.next[IDX], true); \
  IDX = NEXT_##IDX

Definition at line 1044 of file cadical_sweep.cpp.

#define all_scheduled(IDX) \
  int IDX = sweeper.first, NEXT_##IDX; \
  IDX != 0 && (NEXT_##IDX = sweeper.next[IDX], true); \
  IDX = NEXT_##IDX

INVALID

#define INVALID   UINT_MAX

Definition at line 22 of file cadical_sweep.cpp.

INVALID64

#define INVALID64   INT64_MAX

Definition at line 21 of file cadical_sweep.cpp.