#include <iostream>

Go to the source code of this file.
| Namespaces | |
| namespace | Clasp | 
| Functions | |
| void | example1 () | 
| void | example2 () | 
| void | printModel (const Clasp::SymbolTable &sym, const Clasp::Model &model) | 
| void example1 | ( | ) | 
Definition at line 32 of file example1.cpp.
| void example2 | ( | ) | 
Definition at line 47 of file example2.cpp.
| void printModel | ( | const Clasp::SymbolTable & | sym, | 
| const Clasp::Model & | model | ||
| ) | 
Definition at line 23 of file libclasp/example/main.cpp.