definitions.h File Reference
Detailed Description
Compiletime options, doxygen pages/sections.
This file configures the runtime bahaviour of libFAUDES, in particular informative output on stderr and stdout; see also the Makefile.
#include "configuration.h"
#include <sstream>
#include <iostream>
#include "doxygen_groups.h"
|
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 | FD_RTIMAXSIG 5 |
| Max number of automatic signatures.
|
#define | FAUDES_WRITE_STDERR(message) { *faudes::DebugStream() << message << std::endl ; faudes::DebugStream()->flush() ; }; |
| Fallback version string (should define version in Makefile).
|
#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_DRTI(message) |
| Debug: optional report on runtime-interface operations.
|
#define | FD_DV(message) |
| Debug: optional low-level report on iterations and token IO.
|
#define | FAUDES_NODOC(a) |
| Doxygen: exclude this from doxygen.
|
Typedefs |
typedef long unsigned int | faudes::Idx |
| Type definition for index type.
|
typedef long int | faudes::SignedIdx |
| Type definition for signed index type.
|
Define Documentation
#define FAUDES_NODOC |
( |
a |
|
) |
|
Doxygen: exclude this from doxygen.
#define FAUDES_WRITE_STDERR |
( |
message |
|
) |
{ *faudes::DebugStream() << message << std::endl ; faudes::DebugStream()->flush() ; }; |
Fallback version string (should define version in Makefile).
Debug: output macro for redirection to file
Min number of states to use consecutive section in file output.
#define FD_DC |
( |
message |
|
) |
|
Debug: optional report on container operations.
#define FD_DF |
( |
message |
|
) |
|
Debug: optional report on user functions.
#define FD_DG |
( |
message |
|
) |
|
Debug: optional report on generator operations.
#define FD_DRTI |
( |
message |
|
) |
|
Debug: optional report on runtime-interface operations.
#define FD_DV |
( |
message |
|
) |
|
Debug: optional low-level report on iterations and token IO.
#define FD_ERR |
( |
message |
|
) |
|
Value:
Debug: report more errors with file/line info.
#define FD_MAXCONTAINERNAME 70 |
Max length of automatic container names (set to -1 for unlimited).
Length of strings for text fields in token output.
Max number of automatic signatures.
#define FD_SMALLTRANSREL 100 |
Max size of transrel for state name output.
#define FD_WARN |
( |
message |
|
) |
FAUDES_WRITE_STDERR(message); |
Debug: always report warnings.
#define FD_WP |
( |
message |
|
) |
|
Debug: optional write progress report to stdout.