Here is a list of all class members with links to the classes they belong to:

- 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
• Ne() : klee::ConstantExpr, klee::Expr, klee::ExprBuilder
• needsResultType() : klee::CastExpr, klee::Expr
• Neg() : klee::ConstantExpr
• negateExpr() : klee::Query
• negatePartialValidity() : klee::IncompleteSolver
• newline : PPrinter, PrintContext
• next : klee::UpdateNode
• nextFreeSlot : klee::MemoryManager
• nextID : klee::ExecutionState
• nextInvocationTime : klee::Timer
• node : klee::ImmutableTree< K, V, KOV, CMP >
• Node() : klee::ImmutableTree< K, V, KOV, CMP >::Node, klee::MapOfSets< K, V >::Node
• node : klee::Z3NodeHandle< T >
• None : klee::IncompleteSolver
• Not() : klee::ConstantExpr, klee::Expr, klee::ExprBuilder
• NotExpr() : klee::NotExpr
• notExpr() : klee::Z3Builder
• NotOptimized : klee::Expr, klee::ExprBuilder
• NotOptimizedExpr() : klee::NotOptimizedExpr
• NullOrSatisfyingAssignment() : NullOrSatisfyingAssignment
• numArgs : klee::KFunction, KTest
• Number : klee::expr::Token
• 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
• NURS_CovNew : klee::Searcher
• NURS_CPICnt : klee::Searcher
• NURS_Depth : klee::Searcher
• NURS_ICnt : klee::Searcher
• NURS_MD2U : klee::Searcher
• NURS_QC : klee::Searcher
• NURS_RP : klee::Searcher