cadical_solver.cpp File Reference

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

Include dependency graph for cadical_solver.cpp:

Go to the source code of this file.

Classes
class	CaDiCaL::ClauseCounter
class	CaDiCaL::ClauseWriter
struct	CaDiCaL::WitnessWriter
struct	CaDiCaL::ClauseCopier
struct	CaDiCaL::WitnessCopier

Namespaces
namespace	CaDiCaL

Macros
#define	STATE(S)
#define	LOG_API_CALL_BEGIN(...)
#define	LOG_API_CALL_END(...)
#define	LOG_API_CALL_RETURNS(...)
#define	TRACE(...)

Macro Definition Documentation

LOG_API_CALL_BEGIN

#define LOG_API_CALL_BEGIN

(

...

)

Value:

  do { \
  } while (0)

Definition at line 241 of file cadical_solver.cpp.

#define LOG_API_CALL_BEGIN(...) \
  do { \
  } while (0)

LOG_API_CALL_END

#define LOG_API_CALL_END

(

...

)

Value:

  do { \
  } while (0)

Definition at line 244 of file cadical_solver.cpp.

#define LOG_API_CALL_END(...) \
  do { \
  } while (0)

LOG_API_CALL_RETURNS

#define LOG_API_CALL_RETURNS

(

...

)

Value:

  do { \
  } while (0)

Definition at line 247 of file cadical_solver.cpp.

#define LOG_API_CALL_RETURNS(...) \
  do { \
  } while (0)

STATE

#define STATE

(

S

)

Value:

  do { \
    CADICAL_assert (is_power_of_two (S)); \
    if (_state == S) \
      break; \
    _state = S; \
    LOG ("API enters state %s" #S "%s", tout.emph_code (), \
         tout.normal_code ()); \
  } while (0)

Definition at line 34 of file cadical_solver.cpp.

#define STATE(S) \
  do { \
    CADICAL_assert (is_power_of_two (S)); \
    if (_state == S) \
      break; \
    _state = S; \
    LOG ("API enters state %s" #S "%s", tout.emph_code (), \
         tout.normal_code ()); \
  } while (0)

TRACE

#define TRACE

(

...

)

Value:

  do { \
  } while (0)

Definition at line 316 of file cadical_solver.cpp.

#define TRACE(...) \
  do { \
  } while (0)