• _useBoundElimination : OptSliceParams.h
• _useBoundSimplification : OptSliceParams.h
• BitsPerWord : stdinc.h
• BufferSize : Scanner.cpp
• ExitCodeError : main.h
• ExitCodeInternalError : main.h
• ExitCodeOutOfMemory : main.h
• ExitCodeSuccess : main.h
• ExitCodeUnknownError : main.h
• ExponentsPerChunk : Ideal.cpp
• globalChunkPool : Ideal.cpp
• MemoryAlignment : stdinc.h
• MinTermsPerChunk : Ideal.cpp
• ObjectPoolSize : Term.cpp
• PoolCount : Term.cpp
• UseBoundEliminationName : OptSliceParams.h
• UseBoundSimplificationName : OptSliceParams.h