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