Namespaces | Functions
example.h File Reference
#include <iostream>
Include dependency graph for example.h:
This graph shows which files directly or indirectly include this file:

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)

Function Documentation

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.



clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40