- e -

• eh_typeids : klee::Executor
• elements : IndependentElementSet
• elts : klee::FixedStack< T >, klee::ImmutableMap< K, D, CMP >, klee::ImmutableSet< T, CMP >
• enabled : klee::StatisticManager
• EntryPoint : klee::Interpreter::ModuleOptions
• escapingFunctions : klee::KModule
• exactContents : CexObjectData
• exceptionObject : klee::UnwindingInformation
• executionEngine : klee::ExternalDispatcherImpl
• executor : klee::MergeHandler, klee::SpecialFunctionHandler, klee::StatsTracker
• expr : klee::Expr::CreateArg, klee::ExprHolder, klee::ExtractExpr, klee::NotExpr, klee::Query
• exprs : IndependentElementSet
• externalDispatcher : klee::Executor