require.h File Reference

#include "global.h"

Include dependency graph for require.h:

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

Go to the source code of this file.

Macros
#define	kissat_require(COND, ...)
#define	kissat_require_initialized(SOLVER)
#define	kissat_require_valid_external_internal(LIT)

Macro Definition Documentation

kissat_require

#define kissat_require	(		COND,
			... )

Value:

  do { \
    if ((COND)) \
      break; \
    kissat_fatal_message_start (); \
    fprintf (stderr, "calling '%s': ", __func__); \
    fprintf (stderr, __VA_ARGS__); \
    fputc ('\n', stderr); \
    fflush (stderr); \
    kissat_abort (); \
  } while (0)

Definition at line 7 of file require.h.

#define kissat_require(COND, ...) \
  do { \
    if ((COND)) \
      break; \
    kissat_fatal_message_start (); \
    fprintf (stderr, "calling '%s': ", __func__); \
    fprintf (stderr, __VA_ARGS__); \
    fputc ('\n', stderr); \
    fflush (stderr); \
    kissat_abort (); \
  } while (0)

kissat_require_initialized

#define kissat_require_initialized

(

SOLVER

)

Value:

  kissat_require (SOLVER, "uninitialized")

Definition at line 19 of file require.h.

#define kissat_require_initialized(SOLVER) \
  kissat_require (SOLVER, "uninitialized")

kissat_require_valid_external_internal

#define kissat_require_valid_external_internal

(

LIT

)

Value:

  do { \
    kissat_require ((LIT) != INT_MIN, "invalid literal '%d' (INT_MIN)", \
                    (LIT)); \
    const int TMP_IDX = ABS (LIT); \
    kissat_require (TMP_IDX <= EXTERNAL_MAX_VAR, \
                    "invalid literal '%d' (variable larger than %d)", \
                    (LIT), EXTERNAL_MAX_VAR); \
    KISSAT_assert (VALID_EXTERNAL_LITERAL (LIT)); \
  } while (0)

Definition at line 22 of file require.h.

#define kissat_require_valid_external_internal(LIT) \
  do { \
    kissat_require ((LIT) != INT_MIN, "invalid literal '%d' (INT_MIN)", \
                    (LIT)); \
    const int TMP_IDX = ABS (LIT); \
    kissat_require (TMP_IDX <= EXTERNAL_MAX_VAR, \
                    "invalid literal '%d' (variable larger than %d)", \
                    (LIT), EXTERNAL_MAX_VAR); \
    KISSAT_assert (VALID_EXTERNAL_LITERAL (LIT)); \
  } while (0)