pbori_defs.h File Reference

#include <cstddef>
#include <iostream>
#include <polybori/cudd/cudd.h>
#include "config.h"

Go to the source code of this file.

Namespaces

namespace polybori

Classes

class polybori::COrderEnums

This struct contains type definitions and enumerations to be used for order codes. More...

class polybori::CErrorEnums

This struct contains type definitions and enumerations to be used for error codes. More...

class polybori::CCompareEnums

This struct contains type definitions and enumerations to be used for comparisons. More...

class polybori::CAuxTypes

This struct contains auxiliary type definitions. More...

class polybori::CTypes

This struct contains type definitions to be used in library classes. More...

Defines

#define PBORI_UNIQUE_SLOTS   CUDD_UNIQUE_SLOTS

#define PBORI_CACHE_SLOTS   CUDD_CACHE_SLOTS

#define PBORI_MAX_MEMORY   0

#define PBORI_LIKELY(expression)   (expression)

For optimizing if-branches.

#define PBORI_UNLIKELY(expression)   (expression)

#define PBORINAME   polybori

Name the project.

#define PBORI_DEVELOPER

Define deverloper's mode.

#define BEGIN_NAMESPACE_PBORI   namespace PBORINAME {

Start project's namespace.

#define END_NAMESPACE_PBORI   }

Finish project's namespace.

#define USING_NAMESPACE_PBORI   using namespace PBORINAME;

Use project's namespace.

#define PBORI   PBORINAME

Access something in project's namespace using PBORI::.

#define USING_PBORI   using PBORI

Using something from project's namespace.

#define PBORI_BEGIN_NAMESPACE(sub_space)   namespace sub_space {

Start some namespace.

#define PBORI_END_NAMESPACE   }

Finish some namespace.

#define PBORI_TRACE_FUNC(text)

Generate trace function if debugging.

#define PBORI_ASSERT(arg)   (static_cast<void>(0))

#define PBORI_OSTREAM   std::ostream

Get output stream type.

#define PBORI_NOT_IMPLEMENTED   throw PBORI::PBoRiError(PBORI::CTypes::not_implemented);

#define PBORI_ADD_BY_XOR

#define PBORI_LOWLEVEL_XOR

#define PBORI_USEDVARS_BY_IDX

Detailed Description

Author:: Alexander Dreyer

Date:: 2006-03-06

This file defines some types, macros and other settings to be used with the polybori library.

Note:: Uses c++ namespace if PBORI_NO_NAMESPACES is undefined.

Copyright:: (c) 2006-2010 by The PolyBoRi Team

Define Documentation

#define BEGIN_NAMESPACE_PBORI namespace PBORINAME {

Start project's namespace.

#define END_NAMESPACE_PBORI }

Finish project's namespace.

#define PBORI PBORINAME

Access something in project's namespace using PBORI::.

#define PBORI_ADD_BY_XOR

#define PBORI_ASSERT ( arg ) (static_cast<void>(0))

#define PBORI_BEGIN_NAMESPACE ( sub_space ) namespace sub_space {

Start some namespace.

#define PBORI_CACHE_SLOTS CUDD_CACHE_SLOTS

#define PBORI_DEVELOPER

Define deverloper's mode.

#define PBORI_END_NAMESPACE }

Finish some namespace.

#define PBORI_LIKELY ( expression ) (expression)

For optimizing if-branches.

Referenced by polybori::groebner::fix_point_iterate(), polybori::groebner::linalg_step_modified(), polybori::groebner::GroebnerStrategy::noroStep(), polybori::groebner::LLReduction< have_redsb, single_call_for_noredsb, fast_multiplication >::operator()(), polybori::groebner::red_tail_general(), polybori::groebner::red_tail_generic(), and polybori::CIndexCacheHandle< NaviType >::toNode().

#define PBORI_LOWLEVEL_XOR

#define PBORI_MAX_MEMORY 0

#define PBORI_NOT_IMPLEMENTED throw PBORI::PBoRiError(PBORI::CTypes::not_implemented);

#define PBORI_OSTREAM std::ostream

Get output stream type.

#define PBORI_TRACE_FUNC ( text )

Generate trace function if debugging.

#define PBORI_UNIQUE_SLOTS CUDD_UNIQUE_SLOTS

Note:: PolyBoRi comes with a special copy of Cudd

#define PBORI_UNLIKELY ( expression ) (expression)

#define PBORI_USEDVARS_BY_IDX

#define PBORINAME polybori

Name the project.

#define USING_NAMESPACE_PBORI using namespace PBORINAME;

Use project's namespace.

#define USING_PBORI using PBORI

Using something from project's namespace.


Namespaces
namespace	polybori
Classes
class	polybori::COrderEnums
	This struct contains type definitions and enumerations to be used for order codes. More...
class	polybori::CErrorEnums
	This struct contains type definitions and enumerations to be used for error codes. More...
class	polybori::CCompareEnums
	This struct contains type definitions and enumerations to be used for comparisons. More...
class	polybori::CAuxTypes
	This struct contains auxiliary type definitions. More...
class	polybori::CTypes
	This struct contains type definitions to be used in library classes. More...
Defines
#define	PBORI_UNIQUE_SLOTS CUDD_UNIQUE_SLOTS
#define	PBORI_CACHE_SLOTS CUDD_CACHE_SLOTS
#define	PBORI_MAX_MEMORY 0
#define	PBORI_LIKELY(expression) (expression)
	For optimizing if-branches.
#define	PBORI_UNLIKELY(expression) (expression)
#define	PBORINAME polybori
	Name the project.
#define	PBORI_DEVELOPER
	Define deverloper's mode.
#define	BEGIN_NAMESPACE_PBORI namespace PBORINAME {
	Start project's namespace.
#define	END_NAMESPACE_PBORI }
	Finish project's namespace.
#define	USING_NAMESPACE_PBORI using namespace PBORINAME;
	Use project's namespace.
#define	PBORI PBORINAME
	Access something in project's namespace using PBORI::.
#define	USING_PBORI using PBORI
	Using something from project's namespace.
#define	PBORI_BEGIN_NAMESPACE(sub_space) namespace sub_space {
	Start some namespace.
#define	PBORI_END_NAMESPACE }
	Finish some namespace.
#define	PBORI_TRACE_FUNC(text)
	Generate trace function if debugging.
#define	PBORI_ASSERT(arg) (static_cast<void>(0))
#define	PBORI_OSTREAM std::ostream
	Get output stream type.
#define	PBORI_NOT_IMPLEMENTED throw PBORI::PBoRiError(PBORI::CTypes::not_implemented);
#define	PBORI_ADD_BY_XOR
#define	PBORI_LOWLEVEL_XOR
#define	PBORI_USEDVARS_BY_IDX