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.

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.


Define Documentation

#define FAUDES_NODOC  )     a
 

Doxygen: exclude this from doxygen.

Definition at line 115 of file definitions.h.

#define FAUDES_TYPE   public Type
 

Doxygen: hide interface inheritynce from doxygen.

Definition at line 122 of file definitions.h.

#define FAUDES_WRITE_STDERR message   )     { *faudes::DebugStream() << message << std::endl ; faudes::DebugStream()->flush() ; };
 

Debug: output macro for redirection to file.

Definition at line 64 of file definitions.h.

#define FD_CONSECUTIVE   6
 

Min number of states to use consecutive section in file output.

Definition at line 55 of file definitions.h.

#define FD_DC message   ) 
 

Debug: optional report on container operations.

Definition at line 103 of file definitions.h.

#define FD_DF message   ) 
 

Debug: optional report on user functions.

Definition at line 88 of file definitions.h.

#define FD_DG message   ) 
 

Debug: optional report on generator operations.

Definition at line 96 of file definitions.h.

#define FD_DV message   ) 
 

Debug: optional low-level report on iterations and token IO.

Definition at line 110 of file definitions.h.

#define FD_ERR message   ) 
 

Debug: report more errors with file/line info.

Definition at line 74 of file definitions.h.

#define FD_MAXCONTAINERNAME   70
 

Max length of automatic container names (set to -1 for unlimited).

Definition at line 49 of file definitions.h.

#define FD_NAMELEN   13
 

Length of strings for text fields in token output.

Definition at line 46 of file definitions.h.

#define FD_SMALLTRANSREL   100
 

Max size of transrel for state name output.

Definition at line 52 of file definitions.h.

#define FD_WARN message   )     FAUDES_WRITE_STDERR(message);
 

Debug: always report warnings.

Definition at line 67 of file definitions.h.

#define FD_WP message   ) 
 

Debug: optional write progress report to stdout.

Definition at line 81 of file definitions.h.


Generated on Mon Nov 10 08:13:16 2008 for libFAUDES 2.11v by  doxygen 1.4.4