main.cpp File Reference

#include "example.h"
#include <clasp/enumerator.h>
#include <clasp/Solver.h>

Include dependency graph for libclasp/example/main.cpp:

Go to the source code of this file.

Defines
#define	RUN(x)   try { std::cout << "*** Running " << static_cast<const char*>(#x) << " ***" << std::endl; x(); } catch (const std::exception& e) { std::cout << " *** ERROR: " << e.what() << std::endl; }
Functions
int	main ()
void	printModel (const Clasp::SymbolTable &symTab, const Clasp::Model &model)

---

Define Documentation

#define RUN

(

x

)

try { std::cout << "*** Running " << static_cast<const char*>(#x) << " ***" << std::endl; x(); } catch (const std::exception& e) { std::cout << " *** ERROR: " << e.what() << std::endl; }

Definition at line 34 of file libclasp/example/main.cpp.

---

Function Documentation

int main

(

)

Definition at line 36 of file libclasp/example/main.cpp.

void printModel	(	const Clasp::SymbolTable &	symTab,
		const Clasp::Model &	model
	)

Definition at line 23 of file libclasp/example/main.cpp.