- d -

• deallocate() : klee::MemoryManager
• DebugInfoExtractor() : DebugInfoExtractor
• dec() : klee::ref< T >
• Decl() : klee::expr::Decl
• decref() : klee::ImmutableTree< K, V, KOV, CMP >::Node
• delta() : klee::TimerStatIncrementer, klee::WallTimer
• DenseSet() : DenseSet< T >
• DiscretePDF() : klee::DiscretePDF< T, Comparator >
• DivCheckPass() : klee::DivCheckPass
• doChildren() : klee::ExprVisitor::Action
• doDumpStates() : klee::Executor
• doImpliedValueConcretization() : klee::Executor
• done() : klee::StatsTracker
• DummySolverImpl() : klee::DummySolverImpl
• dump() : CexData, klee::Assignment, klee::expr::ArrayDecl, klee::expr::Decl, klee::Expr, klee::expr::QueryCommand, klee::expr::Token, klee::PTree, klee::Query, klee::Z3NodeHandle< T >
• dumpAssignmentQuery() : klee::AssignmentValidatingSolver
• dumpPTree() : klee::Executor
• dumpStack() : klee::ExecutionState
• dumpStates() : klee::Executor