docs/api/smt__result_8h_source.html

#ifndef _ESBMC_PROP_SMT_SMT_RESULT_H_

#define _ESBMC_PROP_SMT_SMT_RESULT_H_


enum smt_resultt

{

  P_UNSATISFIABLE,

  P_SATISFIABLE,

  P_ERROR,

  P_SMTLIB

};


#endif

smt_resultt
smt_resultt
Result of a call to dec_solve.
Definition smt_result.h:7

P_SMTLIB
@ P_SMTLIB
Definition smt_result.h:11

P_UNSATISFIABLE
@ P_UNSATISFIABLE
Definition smt_result.h:8

P_ERROR
@ P_ERROR
Definition smt_result.h:10

P_SATISFIABLE
@ P_SATISFIABLE
Definition smt_result.h:9