SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Variables
ExitCodes.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables

constexpr int SMTRAT_EXIT_UNDEFINED = -1
 
constexpr int SMTRAT_EXIT_USERABORT = 0
 
constexpr int SMTRAT_EXIT_SUCCESS = 1
 
constexpr int SMTRAT_EXIT_SAT = 2
 
constexpr int SMTRAT_EXIT_UNSAT = 3
 
constexpr int SMTRAT_EXIT_UNKNOWN = 4
 
constexpr int SMTRAT_EXIT_WRONG_ANSWER = 5
 
constexpr int SMTRAT_EXIT_GENERALERROR = 6
 
constexpr int SMTRAT_EXIT_UNEXPECTED_ANSWER = 7
 
constexpr int SMTRAT_EXIT_UNEXPECTED_INPUT = 8
 
constexpr int SMTRAT_EXIT_NOSUCHFILE = 9
 
constexpr int SMTRAT_EXIT_PARSERFAILURE = 10
 
constexpr int SMTRAT_EXIT_TIMEOUT = 11
 
constexpr int SMTRAT_EXIT_MEMOUT = 12
 

Variable Documentation

◆ SMTRAT_EXIT_GENERALERROR

constexpr int SMTRAT_EXIT_GENERALERROR = 6
constexpr

Definition at line 17 of file ExitCodes.h.

◆ SMTRAT_EXIT_MEMOUT

constexpr int SMTRAT_EXIT_MEMOUT = 12
constexpr

Definition at line 23 of file ExitCodes.h.

◆ SMTRAT_EXIT_NOSUCHFILE

constexpr int SMTRAT_EXIT_NOSUCHFILE = 9
constexpr

Definition at line 20 of file ExitCodes.h.

◆ SMTRAT_EXIT_PARSERFAILURE

constexpr int SMTRAT_EXIT_PARSERFAILURE = 10
constexpr

Definition at line 21 of file ExitCodes.h.

◆ SMTRAT_EXIT_SAT

constexpr int SMTRAT_EXIT_SAT = 2
constexpr

Definition at line 13 of file ExitCodes.h.

◆ SMTRAT_EXIT_SUCCESS

constexpr int SMTRAT_EXIT_SUCCESS = 1
constexpr

Definition at line 12 of file ExitCodes.h.

◆ SMTRAT_EXIT_TIMEOUT

constexpr int SMTRAT_EXIT_TIMEOUT = 11
constexpr

Definition at line 22 of file ExitCodes.h.

◆ SMTRAT_EXIT_UNDEFINED

constexpr int SMTRAT_EXIT_UNDEFINED = -1
constexpr

Definition at line 10 of file ExitCodes.h.

◆ SMTRAT_EXIT_UNEXPECTED_ANSWER

constexpr int SMTRAT_EXIT_UNEXPECTED_ANSWER = 7
constexpr

Definition at line 18 of file ExitCodes.h.

◆ SMTRAT_EXIT_UNEXPECTED_INPUT

constexpr int SMTRAT_EXIT_UNEXPECTED_INPUT = 8
constexpr

Definition at line 19 of file ExitCodes.h.

◆ SMTRAT_EXIT_UNKNOWN

constexpr int SMTRAT_EXIT_UNKNOWN = 4
constexpr

Definition at line 15 of file ExitCodes.h.

◆ SMTRAT_EXIT_UNSAT

constexpr int SMTRAT_EXIT_UNSAT = 3
constexpr

Definition at line 14 of file ExitCodes.h.

◆ SMTRAT_EXIT_USERABORT

constexpr int SMTRAT_EXIT_USERABORT = 0
constexpr

Definition at line 11 of file ExitCodes.h.

◆ SMTRAT_EXIT_WRONG_ANSWER

constexpr int SMTRAT_EXIT_WRONG_ANSWER = 5
constexpr

Definition at line 16 of file ExitCodes.h.