text: var searchData=
  [
    ['land_0',['land',['../namespaceklee_1_1ints.html#a662e1a03e795188b8056222aca62c338',1,'klee::ints']]],
    ['lasterrno_1',['lastErrno',['../classklee_1_1ExternalDispatcherImpl.html#a997184564094aa7547710d3b9321eab6',1,'klee::ExternalDispatcherImpl']]],
    ['lastid_2',['lastID',['../classklee_1_1TreeStreamWriter.html#a143241dcfe3dd45f250da133afde61a4',1,'klee::TreeStreamWriter']]],
    ['lastkind_3',['LastKind',['../classklee_1_1Expr.html#a80ea617f89861b8ed39fc8ed1c77e855a4bfc67ec33ace48239170fac935f9559',1,'klee::Expr']]],
    ['lastqueryduration_4',['lastQueryDuration',['../classQueryLoggingSolver.html#a5d66d22a247fcb5e9bbc6c2f0767260d',1,'QueryLoggingSolver']]],
    ['laststartinstructions_5',['lastStartInstructions',['../classklee_1_1BatchingSearcher.html#a499eacd0aa3fffdd2df8ed3d3a00a120',1,'klee::BatchingSearcher']]],
    ['laststarttime_6',['lastStartTime',['../classklee_1_1BatchingSearcher.html#ad530e08244a8688ba99526b0b11c4aa8',1,'klee::BatchingSearcher']]],
    ['laststate_7',['lastState',['../classklee_1_1BatchingSearcher.html#a92eb026c205450044f94b7e8950fe586',1,'klee::BatchingSearcher']]],
    ['lbrace_8',['LBrace',['../structklee_1_1expr_1_1Token.html#adb9aae4260c34bbcc16ceb314311c6a4a6ea79b9de349be23aeca5d9838bd18c3',1,'klee::expr::Token']]],
    ['ldz_9',['ldz',['../namespaceklee.html#a04f6f73a75117d6373fff81b49202d76',1,'klee']]],
    ['le_10',['le',['../namespaceklee_1_1floats.html#a33cbb0bebdfaf1f7dd881bc745eea546',1,'klee::floats']]],
    ['left_11',['left',['../classklee_1_1PTreeNode.html#ae25cc6014d48d667d27ced4ae92deef4',1,'klee::PTreeNode::left()'],['../classklee_1_1ImmutableTree_1_1Node.html#ac736fa4330343131f84b95afed01964b',1,'klee::ImmutableTree::Node::left()'],['../classklee_1_1BinaryExpr.html#a1466d2ca618fa4e515dd4ea906541554',1,'klee::BinaryExpr::left()'],['../classklee_1_1ConcatExpr.html#a2887107ae3e0ba966101c56b0b2ca77f',1,'klee::ConcatExpr::left()']]],
    ['legalfunctions_12',['legalFunctions',['../classklee_1_1Executor.html#a5dcedbf4adb195a53347188d28dfb260',1,'klee::Executor']]],
    ['length_13',['length',['../classklee_1_1BitArray.html#a2a26a68c169d0b31b9638bcf8d06de10',1,'klee::BitArray::length()'],['../structklee_1_1expr_1_1Token.html#a90beaba984bdc6065272848e181f7ce7',1,'klee::expr::Token::length()']]],
    ['lengthen_14',['lengthen',['../classklee_1_1DiscretePDF.html#a5ab2abebf9bd70605a0c9cb93f9586a5',1,'klee::DiscretePDF']]],
    ['lex_15',['Lex',['../classklee_1_1expr_1_1Lexer.html#aefd2ecd822b9c7ad22fa44173bf1d872',1,'klee::expr::Lexer']]],
    ['lexer_16',['Lexer',['../classklee_1_1expr_1_1Lexer.html',1,'klee::expr::Lexer'],['../classklee_1_1expr_1_1Lexer.html#ae0ff3527fc0bb916eb9f2157144a7ab7',1,'klee::expr::Lexer::Lexer()']]],
    ['lexer_2ecpp_17',['Lexer.cpp',['../Lexer_8cpp.html',1,'']]],
    ['lexer_2eh_18',['Lexer.h',['../Lexer_8h.html',1,'']]],
    ['lexidentifier_19',['LexIdentifier',['../classklee_1_1expr_1_1Lexer.html#afcce62b94dd57b40a4eba9883ace8130',1,'klee::expr::Lexer']]],
    ['lexnumber_20',['LexNumber',['../classklee_1_1expr_1_1Lexer.html#acb619be03fe9986a8d8d6fdd0861961d',1,'klee::expr::Lexer']]],
    ['librarydir_21',['LibraryDir',['../structklee_1_1Interpreter_1_1ModuleOptions.html#ae4b462b07fea47ff157ad63981340add',1,'klee::Interpreter::ModuleOptions']]],
    ['line_22',['line',['../structklee_1_1expr_1_1Token.html#a69a197b05766e289e4bb8ec4f83b5902',1,'klee::expr::Token::line()'],['../structklee_1_1InstructionInfo.html#a73197aa28d7eb747802dcd4252569fc1',1,'klee::InstructionInfo::line()'],['../structklee_1_1FunctionInfo.html#a22f5cdb1475cf75940cda275e9737763',1,'klee::FunctionInfo::line()'],['../klee_8h.html#a41ebd28ef1d7c6ade45642cb6acc1039',1,'line():&#160;klee.h']]],
    ['linenumber_23',['LineNumber',['../classklee_1_1expr_1_1Lexer.html#a9f3fd5c6ed263866ad8352f3c983dc3d',1,'klee::expr::Lexer']]],
    ['linetable_24',['lineTable',['../classDebugInfoExtractor.html#a51ec2fb8ac06e55f2858bc2c880f113c',1,'DebugInfoExtractor']]],
    ['link_25',['link',['../classklee_1_1KModule.html#a7e57e65ad4bb976837f584d51309d7c6',1,'klee::KModule']]],
    ['linkmodules_26',['linkModules',['../namespaceklee.html#a5e66e36fe236c30ae2b45f234a5d71c8',1,'klee']]],
    ['linktwomodules_27',['linkTwoModules',['../ModuleUtil_8cpp.html#a4dcb5fd9f5a84b0b4a1ff3c8ebfc276d',1,'ModuleUtil.cpp']]],
    ['linkwithuclibc_28',['linkWithUclibc',['../klee_2main_8cpp.html#add1e40e55b66765e3041ba06100fdb15',1,'main.cpp']]],
    ['llvm_29',['llvm',['../namespacellvm.html',1,'']]],
    ['llvm_5fversion_30',['LLVM_VERSION',['../Version_8h.html#a9f014c692cb45ac0ac15c5daa36adc08',1,'Version.h']]],
    ['llvm_5fversion_5fcode_31',['LLVM_VERSION_CODE',['../Version_8h.html#a861eb46dd835bc297d63c60418d43d17',1,'Version.h']]],
    ['loadfile_32',['loadFile',['../namespaceklee.html#a6006ba28d14e52dc9fcaf0a0613d81df',1,'klee']]],
    ['loadpathfile_33',['loadPathFile',['../classKleeHandler.html#ae3ba82ec1894405afdec40d6aa41185a',1,'KleeHandler']]],
    ['locals_34',['locals',['../structklee_1_1StackFrame.html#ac1d992b8e8253c97e922ebd4da5a1059',1,'klee::StackFrame']]],
    ['log2_5fceil_35',['LOG2_CEIL',['../ConstantDivision_8cpp.html#a58dccb8e46d3541e5350b3549a6e8259',1,'ConstantDivision.cpp']]],
    ['logbuffer_36',['logBuffer',['../classQueryLoggingSolver.html#a89ebe5b4b539200a7d8ef31b03878b44',1,'QueryLoggingSolver']]],
    ['logictouse_37',['logicToUse',['../classklee_1_1ExprSMTLIBPrinter.html#acd1eb24a33dd6f8fc3820a585c94f1e1',1,'klee::ExprSMTLIBPrinter']]],
    ['logtimedoutqueries_38',['LogTimedOutQueries',['../namespaceklee.html#aa0abac19c6fe72c2fa52f09d4586bfac',1,'klee']]],
    ['logtimedoutqueries_39',['logTimedOutQueries',['../classQueryLoggingSolver.html#a096d6ac291390c891c2eb625e071e9aa',1,'QueryLoggingSolver']]],
    ['logtimedoutqueries_40',['LogTimedOutQueries',['../namespaceklee.html#a301123dbf773cbfa9c8472e28f40239f',1,'klee']]],
    ['logtype_41',['LogType',['../classklee_1_1Interpreter.html#aa44d08592f21b64f0a2c83f6930f94f1',1,'klee::Interpreter']]],
    ['long_5foptions_42',['long_options',['../klee-replay_8c.html#ab5b68aa8f898c499ca2c3092ecd9e552',1,'klee-replay.c']]],
    ['lookup_43',['lookup',['../classklee_1_1ImmutableMap.html#a453c198892c9ddbb2a0fbecb1f559cf6',1,'klee::ImmutableMap::lookup()'],['../classklee_1_1MapOfSets.html#a2b130f0bb2fd63b54f7f3184ebfe7458',1,'klee::MapOfSets::lookup()'],['../classklee_1_1ImmutableTree.html#a3bd01e94d34f78a786640771e5029974',1,'klee::ImmutableTree::lookup()'],['../classklee_1_1ImmutableSet.html#ac9305c1b711d6377d40f379625aa5a9f',1,'klee::ImmutableSet::lookup()'],['../classklee_1_1DiscretePDF.html#af1efc49f64901127c8b4c558d4493b81',1,'klee::DiscretePDF::lookup()']]],
    ['lookup_5fprevious_44',['lookup_previous',['../classklee_1_1ImmutableTree.html#ad9ca77842fcdf5e11233c9cb938c660e',1,'klee::ImmutableTree::lookup_previous()'],['../classklee_1_1ImmutableMap.html#ade1e7eb586637098008f5a43e4239c2f',1,'klee::ImmutableMap::lookup_previous()']]],
    ['lookuparrayexpr_45',['lookupArrayExpr',['../classklee_1_1ArrayExprHash.html#ab56699c2f6f05fd87fd1d1f0e135bce6',1,'klee::ArrayExprHash']]],
    ['lookupassignment_46',['lookupAssignment',['../classCexCachingSolver.html#ab04a18a158bc52e7e1c365232b076272',1,'CexCachingSolver::lookupAssignment(const Query &amp;query, Assignment *&amp;result)'],['../classCexCachingSolver.html#ac6201db9963e60b43ab31250c5687113',1,'CexCachingSolver::lookupAssignment(const Query &amp;query, KeyType &amp;key, Assignment *&amp;result)']]],
    ['lookupexprinfo_47',['LookupExprInfo',['../Parser_8cpp.html#a1a1d325b76683e5ce41b790e49a2ef5a',1,'Parser.cpp']]],
    ['lookupupdatenodeexpr_48',['lookupUpdateNodeExpr',['../classklee_1_1ArrayExprHash.html#a2ddeb2d2d25e5c394b8616debc688387',1,'klee::ArrayExprHash']]],
    ['lor_49',['lor',['../namespaceklee_1_1ints.html#a4036c94824e4515083e799d79c7b292a',1,'klee::ints']]],
    ['lower_5fbound_50',['lower_bound',['../classklee_1_1ImmutableTree.html#ad7395fdaba082ec6ff415d8a474b8dce',1,'klee::ImmutableTree::lower_bound()'],['../classklee_1_1ImmutableMap.html#a44ce8976ffd8945d2b7c63336b4fa9f0',1,'klee::ImmutableMap::lower_bound()'],['../classklee_1_1ImmutableSet.html#a0677ae71cdf89d7626f7ec22f974b75e',1,'klee::ImmutableSet::lower_bound()']]],
    ['lower_5fmask_51',['LOWER_MASK',['../classklee_1_1RNG.html#a359b7f5e869397fb2f12487cd4c3ae39',1,'klee::RNG']]],
    ['lowerswitch_2ecpp_52',['LowerSwitch.cpp',['../LowerSwitch_8cpp.html',1,'']]],
    ['lowerswitchpass_53',['LowerSwitchPass',['../classklee_1_1LowerSwitchPass.html',1,'klee::LowerSwitchPass'],['../classklee_1_1LowerSwitchPass.html#ab1734f80c85b321c29c739e7d88d3677',1,'klee::LowerSwitchPass::LowerSwitchPass()']]],
    ['lparen_54',['LParen',['../structklee_1_1expr_1_1Token.html#adb9aae4260c34bbcc16ceb314311c6a4ab32f81f427bc8b1dcad31540d12e962b',1,'klee::expr::Token']]],
    ['lshr_55',['LShr',['../classklee_1_1Expr.html#a80ea617f89861b8ed39fc8ed1c77e855a1eda9e3aa453643609354496dfe2efc2',1,'klee::Expr::LShr()'],['../classklee_1_1ConstantExpr.html#a866c6de57a39d84d86724d9b6fdb4f8c',1,'klee::ConstantExpr::LShr()'],['../classklee_1_1ExprBuilder.html#a54b0b41051cc71de962795dd577ecde8',1,'klee::ExprBuilder::LShr()']]],
    ['lshr_56',['lshr',['../namespaceklee_1_1ints.html#af7faa6901fcbe396f1ba42210a405893',1,'klee::ints']]],
    ['lshrexpr_5fcreate_57',['LShrExpr_create',['../Expr_8cpp.html#addd77188f5ede84223e7686a0382c555',1,'Expr.cpp']]],
    ['lsquare_58',['LSquare',['../structklee_1_1expr_1_1Token.html#adb9aae4260c34bbcc16ceb314311c6a4af681605d80aa535a1ba9370749c8e116',1,'klee::expr::Token']]],
    ['lt_59',['lt',['../namespaceklee_1_1floats.html#a1babf7efa5abfccc40e1753ba7d92557',1,'klee::floats']]],
    ['lxor_60',['lxor',['../namespaceklee_1_1ints.html#aea73e837dfd25bb779c14627758fc618',1,'klee::ints']]]
  ];
  