terminate_8c_source.html

#include "terminate.h"

#include "print.h"


ABC_NAMESPACE_IMPL_START


#ifndef KISSAT_QUIET


void kissat_report_termination (kissat *solver, const char *name,

                                const char *file, long lineno,

                                const char *fun) {

  kissat_very_verbose (solver, "%s:%ld: %s: 'TERMINATED (%s)' triggered",

                       file, lineno, fun, name);

}


#else

int kissat_terminate_dummy_to_avoid_warning;

#endif


ABC_NAMESPACE_IMPL_END

ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition abc_namespaces.h:54

ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition abc_namespaces.h:55

solver
#define solver
Definition kitten.c:211

name
char * name
Definition main.h:24

print.h

kissat_very_verbose
#define kissat_very_verbose(...)
Definition print.h:52

file
Definition file.h:23

kissat
Definition internal.h:79

kissat_terminate_dummy_to_avoid_warning
ABC_NAMESPACE_IMPL_START int kissat_terminate_dummy_to_avoid_warning
Definition terminate.c:16

terminate.h