Namespaces | Functions
parser.cpp File Reference
#include <clasp/parser.h>
#include <clasp/program_builder.h>
#include <clasp/logic_program.h>
#include <clasp/minimize_constraint.h>
#include <clasp/shared_context.h>
#include <clasp/solver.h>
#include <clasp/clause.h>
#include <stdio.h>
#include <stdlib.h>
#include <limits.h>
#include <stdarg.h>
Include dependency graph for parser.cpp:

Go to the source code of this file.

Namespaces

namespace  Clasp

Functions

const char * clasp_format (char *buf, unsigned size, const char *fmt,...)
const char * clasp_format_error (const char *fmt,...)
bool Clasp::readLine (StreamSource &in, PodVector< char >::type &buf)
 Extracts characters from in and stores them into buf until a newline character or eof is found.

Function Documentation

const char* clasp_format ( char *  buf,
unsigned  size,
const char *  fmt,
  ... 
)

Definition at line 34 of file parser.cpp.

const char* clasp_format_error ( const char *  fmt,
  ... 
)

Definition at line 42 of file parser.cpp.



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