This file configures the runtime bahaviour of libFAUDES, in particular informative output on stderr and stdout; see also the Makefile.
Definition in file definitions.h.
#include "configuration.h"
#include <sstream>
#include <iostream>
Go to the source code of this file.
Namespaces | |
namespace | faudes |
Defines | |
#define | FD_NAMELEN 13 |
Length of strings for text fields in token output. | |
#define | FD_MAXCONTAINERNAME 70 |
Max length of automatic container names (set to -1 for unlimited). | |
#define | FD_SMALLTRANSREL 100 |
Max size of transrel for state name output. | |
#define | FD_CONSECUTIVE 6 |
Min number of states to use consecutive section in file output. | |
#define | FAUDES_WRITE_STDERR(message) { *faudes::DebugStream() << message << std::endl ; faudes::DebugStream()->flush() ; }; |
Debug: output macro for redirection to file. | |
#define | FD_WARN(message) FAUDES_WRITE_STDERR(message); |
Debug: always report warnings. | |
#define | FD_ERR(message) |
Debug: report more errors with file/line info. | |
#define | FD_WP(message) |
Debug: optional write progress report to stdout. | |
#define | FD_DF(message) |
Debug: optional report on user functions. | |
#define | FD_DG(message) |
Debug: optional report on generator operations. | |
#define | FD_DC(message) |
Debug: optional report on container operations. | |
#define | FD_DV(message) |
Debug: optional low-level report on iterations and token IO. | |
#define | FAUDES_NODOC(a) a |
Doxygen: exclude this from doxygen. | |
#define | FAUDES_TYPE public Type |
Doxygen: hide interface inheritynce from doxygen. | |
Typedefs | |
typedef unsigned int | faudes::Idx |
Type definition for index type. |
|
Doxygen: exclude this from doxygen.
Definition at line 115 of file definitions.h. |
|
Doxygen: hide interface inheritynce from doxygen.
Definition at line 122 of file definitions.h. |
|
Debug: output macro for redirection to file.
Definition at line 64 of file definitions.h. |
|
Min number of states to use consecutive section in file output.
Definition at line 55 of file definitions.h. |
|
Debug: optional report on container operations.
Definition at line 103 of file definitions.h. |
|
Debug: optional report on user functions.
Definition at line 88 of file definitions.h. |
|
Debug: optional report on generator operations.
Definition at line 96 of file definitions.h. |
|
Debug: optional low-level report on iterations and token IO.
Definition at line 110 of file definitions.h. |
|
Debug: report more errors with file/line info.
Definition at line 74 of file definitions.h. |
|
Max length of automatic container names (set to -1 for unlimited).
Definition at line 49 of file definitions.h. |
|
Length of strings for text fields in token output.
Definition at line 46 of file definitions.h. |
|
Max size of transrel for state name output.
Definition at line 52 of file definitions.h. |
|
Debug: always report warnings.
Definition at line 67 of file definitions.h. |
|
Debug: optional write progress report to stdout.
Definition at line 81 of file definitions.h. |