- n -

• N : klee::RNG
• name : klee::Array
• Name : klee::expr::ArrayDecl, klee::expr::Identifier, klee::expr::VarDecl
• name : klee::MemoryObject, klee::SpecialFunctionHandler::HandlerInfo, klee::Statistic, KTestObject
• newline : PPrinter, PrintContext
• next : klee::UpdateNode
• nextFreeSlot : klee::MemoryManager
• nextID : klee::ExecutionState
• nextInvocationTime : klee::Timer
• node : klee::ImmutableTree< K, V, KOV, CMP >, klee::Z3NodeHandle< T >
• numArgs : klee::KFunction, KTest
• numBranches : klee::StatsTracker
• numBytes : KTestObject
• numInstructions : klee::KFunction
• numKids : klee::ConcatExpr, klee::ConstantExpr, klee::ExtractExpr, klee::NotExpr, klee::NotOptimizedExpr, klee::ReadExpr, klee::SelectExpr
• numObjects : KTest
• numRegisters : klee::KFunction