#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.