Here is a list of all namespace members with links to the namespace documentation for each member:

- a -

• add() : klee::floats , klee::ints
• AddStandardCompilePasses() : llvm
• allocations : klee::stats
• ashr() : klee::ints

- b -

• ByteOrder : klee::machine

- c -

• CallSiteSummaryTable : klee
• cexCacheTime : klee::stats
• checkForImpliedValues() : klee::ImpliedValue
• computeMinDistToUncovered() : klee
• ComputeMultConstants64() : klee
• ComputeSDivConstants32() : klee
• ComputeUDivConstants32() : klee
• constructUserSearcher() : klee
• coveredInstructions : klee::stats
• createCachingSolver() : klee
• createCexCachingSolver() : klee
• createFastCexSolver() : klee
• createIndependentSolver() : klee
• createPCLoggingSolver() : klee
• createValidatingSolver() : klee

- d -

• DBL_BITS : klee::floats
• div() : klee::floats
• DoubleAsUInt64() : klee::floats

- e -

• eq() : klee::floats , klee::ints
• exp_base_2() : klee
• ExprHandle : klee::expr
• ExprHashSet : klee
• ext() : klee::floats

- f -

• falseBranches : klee::stats
• findReads() : klee
• findSymbolicObjects() : klee
• FloatAsUInt64() : klee::floats
• FLT_BITS : klee::floats
• forks : klee::stats
• forkTime : klee::stats
• functionEscapes() : klee

- g -

• ge() : klee::floats
• getDirectCallTarget() : klee
• getImpliedValues() : klee::ImpliedValue
• getUserTime() : klee::util
• getWallTime() : klee::util
• gt() : klee::floats

- i -

• ImpliedValueList : klee
• indexOfRightmostBit() : klee::bits32 , klee::bits64
• indexOfSingleBit() : klee::bits32 , klee::bits64
• instructionRealTime : klee::stats
• instructions : klee::stats
• instructionTime : klee::stats
• isNaN() : klee::floats
• isolateRightmostBit() : klee::bits64 , klee::bits32
• isPowerOfTwo() : klee::bits64 , klee::bits32

- k -

• klee_error() : klee
• klee_message() : klee
• klee_message_file : klee
• klee_message_to_file() : klee
• klee_warning() : klee
• klee_warning_file : klee
• klee_warning_once() : klee

- l -

• land() : klee::ints
• ldz() : klee
• le() : klee::floats
• linkWithLibrary() : klee
• lor() : klee::ints
• LSB : klee::machine
• lshr() : klee::ints
• lt() : klee::floats
• lxor() : klee::ints

- m -

• maxValueOfNBits() : klee::bits32 , klee::bits64
• MemoryMap : klee
• minDistToReturn : klee::stats
• minDistToUncovered : klee::stats
• mod() : klee::floats
• MSB : klee::machine
• mul() : klee::floats , klee::ints

- n -

• ne() : klee::floats , klee::ints
• noreturn : klee

- o -

• ObjectPair : klee
• ones() : klee
• operator!=() : klee
• operator<() : klee
• operator<<() : klee
• operator<=() : klee
• operator==() : klee
• operator>() : klee
• operator>=() : klee
• Optimize() : llvm

- q -

• queries : klee::stats
• queriesInvalid : klee::stats
• queriesValid : klee::stats
• queryCacheHits : klee::stats
• queryCacheMisses : klee::stats
• queryConstructs : klee::stats
• queryConstructTime : klee::stats
• queryCounterexamples : klee::stats
• queryTime : klee::stats

- r -

• reachableUncovered : klee::stats
• ResolutionList : klee
• resolveTime : klee::stats

- s -

• sdiv() : klee::ints
• sext() : klee::ints
• sge() : klee::ints
• sgt() : klee::ints
• shl() : klee::ints
• SignedIntToFP() : klee::floats
• sle() : klee::ints
• slt() : klee::ints
• solverTime : klee::stats
• srem() : klee::ints
• states : klee::stats
• sub() : klee::ints , klee::floats

- t -

• theRNG : klee
• theStatisticManager : klee
• toSignedInt() : klee::floats
• toUnsignedInt() : klee::floats
• TreeStreamID : klee
• trueBranches : klee::stats
• trunc() : klee::floats , klee::ints
• truncateToNBits() : klee::bits32 , klee::bits64

- u -

• udiv() : klee::ints
• uge() : klee::ints
• ugt() : klee::ints
• UInt64AsDouble() : klee::floats
• UInt64AsFloat() : klee::floats
• ule() : klee::ints
• ult() : klee::ints
• uncoveredInstructions : klee::stats
• UnsignedIntToFP() : klee::floats
• urem() : klee::ints
• userSearcherRequiresBranchSequences() : klee
• userSearcherRequiresMD2U() : klee

- v -

• VersionHandle : klee::expr

- w -

• withoutRightmostBit() : klee::bits32 , klee::bits64

- z -

• zext() : klee::ints