clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Namespaces | Functions
backtrace.hh File Reference
#include <libunwind.h>
#include <cstring>
#include <cxxabi.h>
#include <cstdio>
#include <unistd.h>
#include <unordered_map>
#include <string>
#include <cstdlib>
Include dependency graph for backtrace.hh:

Go to the source code of this file.

Namespaces

 Gringo
 

Functions

const char * Gringo::getExecutableName ()
 
int Gringo::getFileAndLine (unw_word_t addr, char *file, int *line)
 
void Gringo::showBacktrace (void)