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.