variant_solve_errors.h File Reference

#include <common/emh_const.h>

Go to the source code of this file.

Macros
#define	VARSOLVE_error_base   EMH_VARSOLVE_error_base
#define	VARSOLVE_expr_is_not_a_CNF   (VARSOLVE_error_base + 3)
#define	VARSOLVE_expr_is_not_normalized   (VARSOLVE_error_base + 2)
#define	VARSOLVE_internal_error   (VARSOLVE_error_base + 0)
#define	VARSOLVE_invalid_expr_opcode   (VARSOLVE_error_base + 4)
#define	VARSOLVE_object_is_not_variant_configurable   (VARSOLVE_error_base + 5)
#define	VARSOLVE_solve_expr_too_complex   (VARSOLVE_error_base + 1)

Detailed Description

This header file contains error codes for the Variant Solve module.

Definition in file variant_solve_errors.h.