clingocontrol.cc File Reference

#include "clingocontrol.hh"

Include dependency graph for clingocontrol.cc:

Macros
#define	LOG   if (verbose_) std::cerr

Functions
Gringo::SolveResult	convert (Clasp::ClaspFacade::Result res)

Macro Definition Documentation

#define LOG   if (verbose_) std::cerr

Function Documentation

Gringo::SolveResult convert

(

Clasp::ClaspFacade::Result

res

)