#ifndef __PVSDEFINITIONS_H #define __PVSDEFINITIONS_H #include "common.h" #include //////////// //-- typedefs #ifdef USE_HASH_PVS #include "HashPvs.h" #define PVS_TYPE 0 namespace GtpVisibilityPreprocessor { typedef HashPvs DefaultPvs; typedef HashPvsIterator ObjectPvsIterator; } #else #ifdef USE_BIT_PVS #include "BitVectorPvs.h" #define PVS_TYPE 2 namespace GtpVisibilityPreprocessor { typedef BitVectorPvs DefaultPvs; typedef BitVectorPvsIterator ObjectPvsIterator; } #else //#ifdef USE_VERBOSE_PVS #include "Pvs.h" #define PVS_TYPE 1 namespace GtpVisibilityPreprocessor { typedef VerbosePvs DefaultPvs; typedef PvsIterator ObjectPvsIterator; } #endif #endif namespace GtpVisibilityPreprocessor { typedef PvsEntry ObjectPvsEntry; } #endif