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 <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.


Define Documentation

#define DEFINITIONS_H
 

Definition at line 111 of file definitions.h.

#define FAUDES_VERSION   "undefined version"
 

Fallback version string (should define version in Makefile).

Definition at line 57 of file definitions.h.

#define FD_CONSECUTIVE   6
 

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

Definition at line 53 of file definitions.h.

#define FD_DC message   ) 
 

Debug: optional report on container operations.

Definition at line 97 of file definitions.h.

#define FD_DF message   ) 
 

Debug: optional report on user functions.

Definition at line 82 of file definitions.h.

#define FD_DG message   ) 
 

Debug: optional report on generator operations.

Definition at line 90 of file definitions.h.

#define FD_DV message   ) 
 

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

Definition at line 104 of file definitions.h.

#define FD_ERR message   ) 
 

Debug: report more errors with file/line info.

Definition at line 68 of file definitions.h.

#define FD_MAXCONTAINERNAME   70
 

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

Definition at line 47 of file definitions.h.

#define FD_NAMELEN   13
 

Length of strings for text fields in token output.

Definition at line 44 of file definitions.h.

#define FD_SMALLTRANSREL   100
 

Max size of transrel for state name output.

Definition at line 50 of file definitions.h.

#define FD_WARN message   )     std::cerr << "FAUDES_WARNING: " << message << std::endl
 

Debug: always report warnings.

Definition at line 61 of file definitions.h.

#define FD_WP message   ) 
 

Debug: optional write progress report to stdout.

Definition at line 75 of file definitions.h.


Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4