clasp_output.cpp File Reference

#include <clasp/cli/clasp_output.h>
#include <clasp/solver.h>
#include <clasp/satelite.h>
#include <clasp/minimize_constraint.h>
#include <clasp/util/timer.h>
#include <stdio.h>
#include <stdarg.h>
#include <string.h>
#include <climits>
#include <string>
#include <cstdlib>
#include <signal.h>

Include dependency graph for clasp_output.cpp:

Go to the source code of this file.

Namespaces
namespace	Clasp
namespace	Clasp::Cli
Defines
#define	printBR(cat)   printf("%s\n", format[cat])
#define	printKey(k)   printf("%s%-*s: ", format[cat_comment], width_, (k))
#define	printKeyValue(k, fmt, value)   printf("%s%-*s: " fmt, format[cat_comment], width_, (k), (value))
#define	printLN(cat, fmt,...)   printf("%s" fmt "\n", format[cat], __VA_ARGS__)
Functions
void	Clasp::Cli::format (const Clasp::BasicSolveEvent &ev, char *out, uint32 outSize)
void	Clasp::Cli::format (const Clasp::SolveTestEvent &ev, char *out, uint32 outSize)
static void	Clasp::Cli::null_term_copy (const char *in, int inSize, char *buf, uint32 bufSize)
static std::string	Clasp::Cli::prettify (const std::string &str)
Variables
const char *const	Clasp::Cli::finalSep = "=============================== Accumulation ===============================|"
const char *const	Clasp::Cli::rowSep = "----------------------------------------------------------------------------|"

---

Define Documentation

#define printBR

(

cat

)

printf("%s\n", format[cat])

Definition at line 554 of file clasp_output.cpp.

#define printKey

(

k

)

printf("%s%-*s: ", format[cat_comment], width_, (k))

Definition at line 555 of file clasp_output.cpp.

#define printKeyValue	(		k,
			fmt,
			value
	)		printf("%s%-*s: " fmt, format[cat_comment], width_, (k), (value))

Definition at line 552 of file clasp_output.cpp.

#define printLN	(		cat,
			fmt,
			...
	)		printf("%s" fmt "\n", format[cat], __VA_ARGS__)

Definition at line 553 of file clasp_output.cpp.