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 <iostream>
#include <sstream>
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 in to use consecutive section in file output. | |
#define | FAUDES_VERSION "undefined version" |
Fallback version string (should define version in Makefile). | |
#define | FD_WARN(message) std::cerr << "FAUDES_WARNING: " << message << std::endl |
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 | DEFINITIONS_H |
Typedefs | |
typedef unsigned int | faudes::Idx |
Type definition for index type. |
|
Definition at line 111 of file definitions.h. |
|
Fallback version string (should define version in Makefile).
Definition at line 57 of file definitions.h. |
|
Min number of states in to use consecutive section in file output.
Definition at line 53 of file definitions.h. |
|
Debug: optional report on container operations.
Definition at line 97 of file definitions.h. |
|
Debug: optional report on user functions.
Definition at line 82 of file definitions.h. |
|
Debug: optional report on generator operations.
Definition at line 90 of file definitions.h. |
|
Debug: optional low-level report on iterations and token IO.
Definition at line 104 of file definitions.h. |
|
Debug: report more errors with file/line info.
Definition at line 68 of file definitions.h. |
|
Max length of automatic container names (set to -1 for unlimited).
Definition at line 47 of file definitions.h. |
|
Length of strings for text fields in token output.
Definition at line 44 of file definitions.h. |
|
Max size of transrel for state name output.
Definition at line 50 of file definitions.h. |
|
Debug: always report warnings.
Definition at line 61 of file definitions.h. |
|
Debug: optional write progress report to stdout.
Definition at line 75 of file definitions.h. |