svf-tools 1.0.897 → 1.0.899

package/SVF-doxygen/html/search/classes_8.js

@@ -1,62 +1,62 @@
 var searchData=
 [
-  ['icfg_6897',['ICFG',['../classSVF_1_1ICFG.html',1,'SVF']]],
-  ['icfgbuilder_6898',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html',1,'SVF']]],
-  ['icfgedge_6899',['ICFGEdge',['../classSVF_1_1ICFGEdge.html',1,'SVF']]],
-  ['icfgnode_6900',['ICFGNode',['../classSVF_1_1ICFGNode.html',1,'SVF']]],
-  ['icfgreader_6901',['ICFGReader',['../classSVF_1_1ICFGReader.html',1,'SVF']]],
-  ['icfgsimplification_6902',['ICFGSimplification',['../classSVF_1_1ICFGSimplification.html',1,'SVF']]],
-  ['icfgstat_6903',['ICFGStat',['../classSVF_1_1ICFGStat.html',1,'SVF']]],
-  ['icfgwriter_6904',['ICFGWriter',['../classSVF_1_1ICFGWriter.html',1,'SVF']]],
-  ['icfgwto_6905',['ICFGWTO',['../classSVF_1_1ICFGWTO.html',1,'SVF']]],
-  ['indirectsvfgedge_6906',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html',1,'SVF']]],
-  ['interdisjointmrg_6907',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html',1,'SVF']]],
-  ['intericfgnode_6908',['InterICFGNode',['../classSVF_1_1InterICFGNode.html',1,'SVF']]],
-  ['intermssaphisvfgnode_6909',['InterMSSAPHISVFGNode',['../classSVF_1_1InterMSSAPHISVFGNode.html',1,'SVF']]],
-  ['internal_5fhooks_6910',['internal_hooks',['../structinternal__hooks.html',1,'']]],
-  ['interphivfgnode_6911',['InterPHIVFGNode',['../classSVF_1_1InterPHIVFGNode.html',1,'SVF']]],
-  ['intervalesbase_6912',['IntervalESBase',['../classSVF_1_1IntervalESBase.html',1,'SVF']]],
-  ['intervalexestate_6913',['IntervalExeState',['../classSVF_1_1IntervalExeState.html',1,'SVF']]],
-  ['intervalvalue_6914',['IntervalValue',['../classSVF_1_1IntervalValue.html',1,'SVF']]],
-  ['intracfgedge_6915',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html',1,'SVF']]],
-  ['intradirsvfgedge_6916',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html',1,'SVF']]],
-  ['intradisjointmrg_6917',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html',1,'SVF']]],
-  ['intraicfgnode_6918',['IntraICFGNode',['../classSVF_1_1IntraICFGNode.html',1,'SVF']]],
-  ['intraindsvfgedge_6919',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html',1,'SVF']]],
-  ['intramssaphisvfgnode_6920',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html',1,'SVF']]],
-  ['intraphivfgnode_6921',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html',1,'SVF']]],
-  ['inverse_6922',['Inverse',['../structSVF_1_1Inverse.html',1,'SVF']]],
-  ['irgraph_6923',['IRGraph',['../classSVF_1_1IRGraph.html',1,'SVF']]],
-  ['is_5fiterable_6924',['is_iterable',['../structSVF_1_1SVFUtil_1_1is__iterable.html',1,'SVF::SVFUtil']]],
-  ['is_5fiterable_3c_20t_2c_20void_5ft_3c_20decltype_28std_3a_3abegin_28std_3a_3adeclval_3c_20t_20_26_20_3e_28_29_29_20_21_3dstd_3a_3aend_28std_3a_3adeclval_3c_20t_20_26_20_3e_28_29_29_29_3e_20_3e_6925',['is_iterable< T, void_t< decltype(std::begin(std::declval< T & >()) !=std::end(std::declval< T & >()))> >',['../structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html',1,'SVF::SVFUtil']]],
-  ['is_5fmap_6926',['is_map',['../structSVF_1_1SVFUtil_1_1is__map.html',1,'SVF::SVFUtil']]],
-  ['is_5fmap_3c_20std_3a_3amap_3c_20ts_2e_2e_2e_20_3e_20_3e_6927',['is_map< std::map< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1map_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['is_5fmap_3c_20std_3a_3aunordered_5fmap_3c_20ts_2e_2e_2e_20_3e_20_3e_6928',['is_map< std::unordered_map< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1unordered__map_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['is_5fsequence_5fcontainer_6929',['is_sequence_container',['../structSVF_1_1SVFUtil_1_1is__sequence__container.html',1,'SVF::SVFUtil']]],
-  ['is_5fsequence_5fcontainer_3c_20std_3a_3adeque_3c_20ts_2e_2e_2e_20_3e_20_3e_6930',['is_sequence_container< std::deque< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1deque_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['is_5fsequence_5fcontainer_3c_20std_3a_3alist_3c_20ts_2e_2e_2e_20_3e_20_3e_6931',['is_sequence_container< std::list< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1list_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['is_5fsequence_5fcontainer_3c_20std_3a_3avector_3c_20ts_2e_2e_2e_20_3e_20_3e_6932',['is_sequence_container< std::vector< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1vector_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['is_5fset_6933',['is_set',['../structSVF_1_1SVFUtil_1_1is__set.html',1,'SVF::SVFUtil']]],
-  ['is_5fset_3c_20std_3a_3aset_3c_20ts_2e_2e_2e_20_3e_20_3e_6934',['is_set< std::set< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1set_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['is_5fset_3c_20std_3a_3aunordered_5fset_3c_20ts_2e_2e_2e_20_3e_20_3e_6935',['is_set< std::unordered_set< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1unordered__set_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['is_5fsimple_5ftype_6936',['is_simple_type',['../structSVF_1_1SVFUtil_1_1is__simple__type.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_6937',['isa_impl',['../structSVF_1_1SVFUtil_1_1isa__impl.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_3c_20to_2c_20from_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fbase_5fof_3c_20to_2c_20from_20_3e_3a_3avalue_20_3e_20_3e_6938',['isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > >',['../structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fcl_6939',['isa_impl_cl',['../structSVF_1_1SVFUtil_1_1isa__impl__cl.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fcl_3c_20to_2c_20const_20from_20_2a_20_3e_6940',['isa_impl_cl< To, const From * >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fcl_3c_20to_2c_20const_20from_20_2aconst_20_3e_6941',['isa_impl_cl< To, const From *const >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fcl_3c_20to_2c_20const_20from_20_3e_6942',['isa_impl_cl< To, const From >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fcl_3c_20to_2c_20const_20std_3a_3aunique_5fptr_3c_20from_20_3e_20_3e_6943',['isa_impl_cl< To, const std::unique_ptr< From > >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fcl_3c_20to_2c_20from_20_2a_20_3e_6944',['isa_impl_cl< To, From * >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fcl_3c_20to_2c_20from_20_2aconst_20_3e_6945',['isa_impl_cl< To, From *const >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fwrap_6946',['isa_impl_wrap',['../structSVF_1_1SVFUtil_1_1isa__impl__wrap.html',1,'SVF::SVFUtil']]],
-  ['isa_5fimpl_5fwrap_3c_20to_2c_20fromty_2c_20fromty_20_3e_6947',['isa_impl_wrap< To, FromTy, FromTy >',['../structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html',1,'SVF::SVFUtil']]],
-  ['iter_5fadaptor_5fbase_6948',['iter_adaptor_base',['../classSVF_1_1iter__adaptor__base.html',1,'SVF']]],
-  ['iter_5fadaptor_5fbase_3c_20mapped_5fiter_3c_20itty_2c_20functy_20_3e_2c_20itty_2c_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3aiterator_5fcategory_2c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_20_3e_6949',['iter_adaptor_base< mapped_iter< ItTy, FuncTy >, ItTy, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type >',['../classSVF_1_1iter__adaptor__base.html',1,'SVF']]],
-  ['iter_5fadaptor_5fbase_3c_20pointee_5fiter_3c_20wrappediteratort_2c_20std_3a_3aremove_5freference_5ft_3c_20decltype_28_2a_2astd_3a_3adeclval_3c_20wrappediteratort_20_3e_28_29_29_3e_20_3e_2c_20wrappediteratort_2c_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3aiterator_5fcategory_2c_20std_3a_3aremove_5freference_5ft_3c_20decltype_28_2a_2astd_3a_3adeclval_3c_20wrappediteratort_20_3e_28_29_29_3e_20_3e_6950',['iter_adaptor_base< pointee_iter< WrappedIteratorT, std::remove_reference_t< decltype(**std::declval< WrappedIteratorT >())> >, WrappedIteratorT, std::iterator_traits< WrappedIteratorT >::iterator_category, std::remove_reference_t< decltype(**std::declval< WrappedIteratorT >())> >',['../classSVF_1_1iter__adaptor__base.html',1,'SVF']]],
-  ['iter_5fadaptor_5fbase_3c_20pointer_5fiterator_3c_20wrappediteratort_2c_20decltype_28_26_2astd_3a_3adeclval_3c_20wrappediteratort_20_3e_28_29_29_20_3e_2c_20wrappediteratort_2c_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3aiterator_5fcategory_2c_20decltype_28_26_2astd_3a_3adeclval_3c_20wrappediteratort_20_3e_28_29_29_20_3e_6951',['iter_adaptor_base< pointer_iterator< WrappedIteratorT, decltype(&*std::declval< WrappedIteratorT >()) >, WrappedIteratorT, std::iterator_traits< WrappedIteratorT >::iterator_category, decltype(&*std::declval< WrappedIteratorT >()) >',['../classSVF_1_1iter__adaptor__base.html',1,'SVF']]],
-  ['iter_5ffacade_5fbase_6952',['iter_facade_base',['../classSVF_1_1iter__facade__base.html',1,'SVF']]],
-  ['iter_5ffacade_5fbase_3c_20derivedt_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3aiterator_5fcategory_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3adifference_5ftype_2c_20std_3a_3aconditional_5ft_3c_20std_3a_3ais_5fsame_3c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_20_3e_3a_3avalue_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3apointer_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_20_2a_20_3e_2c_20std_3a_3aconditional_5ft_3c_20std_3a_3ais_5fsame_3c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_20_3e_3a_3avalue_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3areference_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_20_26_20_3e_20_3e_6953',['iter_facade_base< DerivedT, typename std::iterator_traits< WrappedIteratorT >::iterator_category, typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::difference_type, std::conditional_t< std::is_same< typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::pointer, typename std::iterator_traits< WrappedIteratorT >::value_type * >, std::conditional_t< std::is_same< typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::reference, typename std::iterator_traits< WrappedIteratorT >::value_type & > >',['../classSVF_1_1iter__facade__base.html',1,'SVF']]],
-  ['iter_5ffacade_5fbase_3c_20mapped_5fiter_3c_20itty_2c_20functy_20_3e_2c_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3aiterator_5fcategory_2c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3adifference_5ftype_2c_20std_3a_3aconditional_5ft_3c_20std_3a_3ais_5fsame_3c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3avalue_5ftype_20_3e_3a_3avalue_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3apointer_2c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_20_2a_20_3e_2c_20std_3a_3aconditional_5ft_3c_20std_3a_3ais_5fsame_3c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3avalue_5ftype_20_3e_3a_3avalue_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3areference_2c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_20_26_20_3e_20_3e_6954',['iter_facade_base< mapped_iter< ItTy, FuncTy >, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::difference_type, std::conditional_t< std::is_same< std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::value_type >::value, typename std::iterator_traits< ItTy >::pointer, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type * >, std::conditional_t< std::is_same< std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::value_type >::value, typename std::iterator_traits< ItTy >::reference, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type & > >',['../classSVF_1_1iter__facade__base.html',1,'SVF']]],
-  ['iter_5frange_6955',['iter_range',['../classSVF_1_1iter__range.html',1,'SVF']]]
+  ['icfg_6926',['ICFG',['../classSVF_1_1ICFG.html',1,'SVF']]],
+  ['icfgbuilder_6927',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html',1,'SVF']]],
+  ['icfgedge_6928',['ICFGEdge',['../classSVF_1_1ICFGEdge.html',1,'SVF']]],
+  ['icfgnode_6929',['ICFGNode',['../classSVF_1_1ICFGNode.html',1,'SVF']]],
+  ['icfgreader_6930',['ICFGReader',['../classSVF_1_1ICFGReader.html',1,'SVF']]],
+  ['icfgsimplification_6931',['ICFGSimplification',['../classSVF_1_1ICFGSimplification.html',1,'SVF']]],
+  ['icfgstat_6932',['ICFGStat',['../classSVF_1_1ICFGStat.html',1,'SVF']]],
+  ['icfgwriter_6933',['ICFGWriter',['../classSVF_1_1ICFGWriter.html',1,'SVF']]],
+  ['icfgwto_6934',['ICFGWTO',['../classSVF_1_1ICFGWTO.html',1,'SVF']]],
+  ['indirectsvfgedge_6935',['IndirectSVFGEdge',['../classSVF_1_1IndirectSVFGEdge.html',1,'SVF']]],
+  ['interdisjointmrg_6936',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html',1,'SVF']]],
+  ['intericfgnode_6937',['InterICFGNode',['../classSVF_1_1InterICFGNode.html',1,'SVF']]],
+  ['intermssaphisvfgnode_6938',['InterMSSAPHISVFGNode',['../classSVF_1_1InterMSSAPHISVFGNode.html',1,'SVF']]],
+  ['internal_5fhooks_6939',['internal_hooks',['../structinternal__hooks.html',1,'']]],
+  ['interphivfgnode_6940',['InterPHIVFGNode',['../classSVF_1_1InterPHIVFGNode.html',1,'SVF']]],
+  ['intervalesbase_6941',['IntervalESBase',['../classSVF_1_1IntervalESBase.html',1,'SVF']]],
+  ['intervalexestate_6942',['IntervalExeState',['../classSVF_1_1IntervalExeState.html',1,'SVF']]],
+  ['intervalvalue_6943',['IntervalValue',['../classSVF_1_1IntervalValue.html',1,'SVF']]],
+  ['intracfgedge_6944',['IntraCFGEdge',['../classSVF_1_1IntraCFGEdge.html',1,'SVF']]],
+  ['intradirsvfgedge_6945',['IntraDirSVFGEdge',['../classSVF_1_1IntraDirSVFGEdge.html',1,'SVF']]],
+  ['intradisjointmrg_6946',['IntraDisjointMRG',['../classSVF_1_1IntraDisjointMRG.html',1,'SVF']]],
+  ['intraicfgnode_6947',['IntraICFGNode',['../classSVF_1_1IntraICFGNode.html',1,'SVF']]],
+  ['intraindsvfgedge_6948',['IntraIndSVFGEdge',['../classSVF_1_1IntraIndSVFGEdge.html',1,'SVF']]],
+  ['intramssaphisvfgnode_6949',['IntraMSSAPHISVFGNode',['../classSVF_1_1IntraMSSAPHISVFGNode.html',1,'SVF']]],
+  ['intraphivfgnode_6950',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html',1,'SVF']]],
+  ['inverse_6951',['Inverse',['../structSVF_1_1Inverse.html',1,'SVF']]],
+  ['irgraph_6952',['IRGraph',['../classSVF_1_1IRGraph.html',1,'SVF']]],
+  ['is_5fiterable_6953',['is_iterable',['../structSVF_1_1SVFUtil_1_1is__iterable.html',1,'SVF::SVFUtil']]],
+  ['is_5fiterable_3c_20t_2c_20void_5ft_3c_20decltype_28std_3a_3abegin_28std_3a_3adeclval_3c_20t_20_26_20_3e_28_29_29_20_21_3dstd_3a_3aend_28std_3a_3adeclval_3c_20t_20_26_20_3e_28_29_29_29_3e_20_3e_6954',['is_iterable< T, void_t< decltype(std::begin(std::declval< T & >()) !=std::end(std::declval< T & >()))> >',['../structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html',1,'SVF::SVFUtil']]],
+  ['is_5fmap_6955',['is_map',['../structSVF_1_1SVFUtil_1_1is__map.html',1,'SVF::SVFUtil']]],
+  ['is_5fmap_3c_20std_3a_3amap_3c_20ts_2e_2e_2e_20_3e_20_3e_6956',['is_map< std::map< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1map_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
+  ['is_5fmap_3c_20std_3a_3aunordered_5fmap_3c_20ts_2e_2e_2e_20_3e_20_3e_6957',['is_map< std::unordered_map< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1unordered__map_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
+  ['is_5fsequence_5fcontainer_6958',['is_sequence_container',['../structSVF_1_1SVFUtil_1_1is__sequence__container.html',1,'SVF::SVFUtil']]],
+  ['is_5fsequence_5fcontainer_3c_20std_3a_3adeque_3c_20ts_2e_2e_2e_20_3e_20_3e_6959',['is_sequence_container< std::deque< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1deque_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
+  ['is_5fsequence_5fcontainer_3c_20std_3a_3alist_3c_20ts_2e_2e_2e_20_3e_20_3e_6960',['is_sequence_container< std::list< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1list_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
+  ['is_5fsequence_5fcontainer_3c_20std_3a_3avector_3c_20ts_2e_2e_2e_20_3e_20_3e_6961',['is_sequence_container< std::vector< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1vector_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
+  ['is_5fset_6962',['is_set',['../structSVF_1_1SVFUtil_1_1is__set.html',1,'SVF::SVFUtil']]],
+  ['is_5fset_3c_20std_3a_3aset_3c_20ts_2e_2e_2e_20_3e_20_3e_6963',['is_set< std::set< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1set_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
+  ['is_5fset_3c_20std_3a_3aunordered_5fset_3c_20ts_2e_2e_2e_20_3e_20_3e_6964',['is_set< std::unordered_set< Ts... > >',['../structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1unordered__set_3_01Ts_8_8_8_01_4_01_4.html',1,'SVF::SVFUtil']]],
+  ['is_5fsimple_5ftype_6965',['is_simple_type',['../structSVF_1_1SVFUtil_1_1is__simple__type.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_6966',['isa_impl',['../structSVF_1_1SVFUtil_1_1isa__impl.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_3c_20to_2c_20from_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fbase_5fof_3c_20to_2c_20from_20_3e_3a_3avalue_20_3e_20_3e_6967',['isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > >',['../structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fcl_6968',['isa_impl_cl',['../structSVF_1_1SVFUtil_1_1isa__impl__cl.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fcl_3c_20to_2c_20const_20from_20_2a_20_3e_6969',['isa_impl_cl< To, const From * >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fcl_3c_20to_2c_20const_20from_20_2aconst_20_3e_6970',['isa_impl_cl< To, const From *const >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fcl_3c_20to_2c_20const_20from_20_3e_6971',['isa_impl_cl< To, const From >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fcl_3c_20to_2c_20const_20std_3a_3aunique_5fptr_3c_20from_20_3e_20_3e_6972',['isa_impl_cl< To, const std::unique_ptr< From > >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fcl_3c_20to_2c_20from_20_2a_20_3e_6973',['isa_impl_cl< To, From * >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fcl_3c_20to_2c_20from_20_2aconst_20_3e_6974',['isa_impl_cl< To, From *const >',['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fwrap_6975',['isa_impl_wrap',['../structSVF_1_1SVFUtil_1_1isa__impl__wrap.html',1,'SVF::SVFUtil']]],
+  ['isa_5fimpl_5fwrap_3c_20to_2c_20fromty_2c_20fromty_20_3e_6976',['isa_impl_wrap< To, FromTy, FromTy >',['../structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html',1,'SVF::SVFUtil']]],
+  ['iter_5fadaptor_5fbase_6977',['iter_adaptor_base',['../classSVF_1_1iter__adaptor__base.html',1,'SVF']]],
+  ['iter_5fadaptor_5fbase_3c_20mapped_5fiter_3c_20itty_2c_20functy_20_3e_2c_20itty_2c_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3aiterator_5fcategory_2c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_20_3e_6978',['iter_adaptor_base< mapped_iter< ItTy, FuncTy >, ItTy, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type >',['../classSVF_1_1iter__adaptor__base.html',1,'SVF']]],
+  ['iter_5fadaptor_5fbase_3c_20pointee_5fiter_3c_20wrappediteratort_2c_20std_3a_3aremove_5freference_5ft_3c_20decltype_28_2a_2astd_3a_3adeclval_3c_20wrappediteratort_20_3e_28_29_29_3e_20_3e_2c_20wrappediteratort_2c_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3aiterator_5fcategory_2c_20std_3a_3aremove_5freference_5ft_3c_20decltype_28_2a_2astd_3a_3adeclval_3c_20wrappediteratort_20_3e_28_29_29_3e_20_3e_6979',['iter_adaptor_base< pointee_iter< WrappedIteratorT, std::remove_reference_t< decltype(**std::declval< WrappedIteratorT >())> >, WrappedIteratorT, std::iterator_traits< WrappedIteratorT >::iterator_category, std::remove_reference_t< decltype(**std::declval< WrappedIteratorT >())> >',['../classSVF_1_1iter__adaptor__base.html',1,'SVF']]],
+  ['iter_5fadaptor_5fbase_3c_20pointer_5fiterator_3c_20wrappediteratort_2c_20decltype_28_26_2astd_3a_3adeclval_3c_20wrappediteratort_20_3e_28_29_29_20_3e_2c_20wrappediteratort_2c_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3aiterator_5fcategory_2c_20decltype_28_26_2astd_3a_3adeclval_3c_20wrappediteratort_20_3e_28_29_29_20_3e_6980',['iter_adaptor_base< pointer_iterator< WrappedIteratorT, decltype(&*std::declval< WrappedIteratorT >()) >, WrappedIteratorT, std::iterator_traits< WrappedIteratorT >::iterator_category, decltype(&*std::declval< WrappedIteratorT >()) >',['../classSVF_1_1iter__adaptor__base.html',1,'SVF']]],
+  ['iter_5ffacade_5fbase_6981',['iter_facade_base',['../classSVF_1_1iter__facade__base.html',1,'SVF']]],
+  ['iter_5ffacade_5fbase_3c_20derivedt_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3aiterator_5fcategory_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3adifference_5ftype_2c_20std_3a_3aconditional_5ft_3c_20std_3a_3ais_5fsame_3c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_20_3e_3a_3avalue_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3apointer_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_20_2a_20_3e_2c_20std_3a_3aconditional_5ft_3c_20std_3a_3ais_5fsame_3c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_20_3e_3a_3avalue_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3areference_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20wrappediteratort_20_3e_3a_3avalue_5ftype_20_26_20_3e_20_3e_6982',['iter_facade_base< DerivedT, typename std::iterator_traits< WrappedIteratorT >::iterator_category, typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::difference_type, std::conditional_t< std::is_same< typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::pointer, typename std::iterator_traits< WrappedIteratorT >::value_type * >, std::conditional_t< std::is_same< typename std::iterator_traits< WrappedIteratorT >::value_type, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::reference, typename std::iterator_traits< WrappedIteratorT >::value_type & > >',['../classSVF_1_1iter__facade__base.html',1,'SVF']]],
+  ['iter_5ffacade_5fbase_3c_20mapped_5fiter_3c_20itty_2c_20functy_20_3e_2c_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3aiterator_5fcategory_2c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3adifference_5ftype_2c_20std_3a_3aconditional_5ft_3c_20std_3a_3ais_5fsame_3c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3avalue_5ftype_20_3e_3a_3avalue_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3apointer_2c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_20_2a_20_3e_2c_20std_3a_3aconditional_5ft_3c_20std_3a_3ais_5fsame_3c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3avalue_5ftype_20_3e_3a_3avalue_2c_20typename_20std_3a_3aiterator_5ftraits_3c_20itty_20_3e_3a_3areference_2c_20std_3a_3aremove_5freference_3c_20decltype_28std_3a_3adeclval_3c_20functy_20_3e_28_29_28_2astd_3a_3adeclval_3c_20itty_20_3e_28_29_29_29_20_3e_3a_3atype_20_26_20_3e_20_3e_6983',['iter_facade_base< mapped_iter< ItTy, FuncTy >, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::difference_type, std::conditional_t< std::is_same< std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::value_type >::value, typename std::iterator_traits< ItTy >::pointer, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type * >, std::conditional_t< std::is_same< std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type, typename std::iterator_traits< ItTy >::value_type >::value, typename std::iterator_traits< ItTy >::reference, std::remove_reference< decltype(std::declval< FuncTy >()(*std::declval< ItTy >())) >::type & > >',['../classSVF_1_1iter__facade__base.html',1,'SVF']]],
+  ['iter_5frange_6984',['iter_range',['../classSVF_1_1iter__range.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/search/classes_9.js

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['kindbasehelper_6956',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]]
+  ['kindbasehelper_6985',['KindBaseHelper',['../structSVF_1_1KindBaseHelper.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/search/classes_a.js

@@ -1,15 +1,15 @@
 var searchData=
 [
-  ['leadingzeroscounter_6957',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
-  ['leakchecker_6958',['LeakChecker',['../classSVF_1_1LeakChecker.html',1,'SVF']]],
-  ['list_6959',['List',['../classSVF_1_1List.html',1,'SVF']]],
-  ['listnode_6960',['ListNode',['../classSVF_1_1List_1_1ListNode.html',1,'SVF::List']]],
-  ['llvmloopanalysis_6961',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF']]],
-  ['llvmmoduleset_6962',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF']]],
-  ['loadcgedge_6963',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF']]],
-  ['loadmu_6964',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF']]],
-  ['loadstmt_6965',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF']]],
-  ['loadvfgnode_6966',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF']]],
-  ['lockanalysis_6967',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF']]],
-  ['lockresultvalidator_6968',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF']]]
+  ['leadingzeroscounter_6986',['LeadingZerosCounter',['../structSVF_1_1LeadingZerosCounter.html',1,'SVF']]],
+  ['leakchecker_6987',['LeakChecker',['../classSVF_1_1LeakChecker.html',1,'SVF']]],
+  ['list_6988',['List',['../classSVF_1_1List.html',1,'SVF']]],
+  ['listnode_6989',['ListNode',['../classSVF_1_1List_1_1ListNode.html',1,'SVF::List']]],
+  ['llvmloopanalysis_6990',['LLVMLoopAnalysis',['../classSVF_1_1LLVMLoopAnalysis.html',1,'SVF']]],
+  ['llvmmoduleset_6991',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF']]],
+  ['loadcgedge_6992',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF']]],
+  ['loadmu_6993',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF']]],
+  ['loadstmt_6994',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF']]],
+  ['loadvfgnode_6995',['LoadVFGNode',['../classSVF_1_1LoadVFGNode.html',1,'SVF']]],
+  ['lockanalysis_6996',['LockAnalysis',['../classSVF_1_1LockAnalysis.html',1,'SVF']]],
+  ['lockresultvalidator_6997',['LockResultValidator',['../classSVF_1_1LockResultValidator.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/search/classes_b.js

@@ -1,32 +1,32 @@
 var searchData=
 [
-  ['make_5fvoid_6969',['make_void',['../structSVF_1_1SVFUtil_1_1make__void.html',1,'SVF::SVFUtil']]],
-  ['mapped_5fiter_6970',['mapped_iter',['../classSVF_1_1mapped__iter.html',1,'SVF']]],
-  ['memobj_6971',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF']]],
-  ['memregion_6972',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF']]],
-  ['memssa_6973',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF']]],
-  ['memssastat_6974',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF']]],
-  ['mergefunctionrets_6975',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF']]],
-  ['mhp_6976',['MHP',['../classSVF_1_1MHP.html',1,'SVF']]],
-  ['mhpvalidator_6977',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF']]],
-  ['mrgenerator_6978',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF']]],
-  ['mrsvfgnode_6979',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html',1,'SVF']]],
-  ['mrver_6980',['MRVer',['../classSVF_1_1MRVer.html',1,'SVF']]],
-  ['mssachi_6981',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF']]],
-  ['mssadef_6982',['MSSADEF',['../classSVF_1_1MSSADEF.html',1,'SVF']]],
-  ['mssamu_6983',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF']]],
-  ['mssaphi_6984',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF']]],
-  ['mssaphisvfgnode_6985',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF']]],
-  ['mta_6986',['MTA',['../classSVF_1_1MTA.html',1,'SVF']]],
-  ['mtaannotator_6987',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF']]],
-  ['mtaresultvalidator_6988',['MTAResultValidator',['../classSVF_1_1MTAResultValidator.html',1,'SVF']]],
-  ['mtastat_6989',['MTAStat',['../classSVF_1_1MTAStat.html',1,'SVF']]],
-  ['mtasvfgbuilder_6990',['MTASVFGBuilder',['../classSVF_1_1MTASVFGBuilder.html',1,'SVF']]],
-  ['multiopndstmt_6991',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html',1,'SVF']]],
-  ['mutabledfptdata_6992',['MutableDFPTData',['../classSVF_1_1MutableDFPTData.html',1,'SVF']]],
-  ['mutablediffptdata_6993',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html',1,'SVF']]],
-  ['mutableincdfptdata_6994',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html',1,'SVF']]],
-  ['mutableptdata_6995',['MutablePTData',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
-  ['mutableptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e_6996',['MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
-  ['mutableversionedptdata_6997',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html',1,'SVF']]]
+  ['make_5fvoid_6998',['make_void',['../structSVF_1_1SVFUtil_1_1make__void.html',1,'SVF::SVFUtil']]],
+  ['mapped_5fiter_6999',['mapped_iter',['../classSVF_1_1mapped__iter.html',1,'SVF']]],
+  ['memobj_7000',['MemObj',['../classSVF_1_1MemObj.html',1,'SVF']]],
+  ['memregion_7001',['MemRegion',['../classSVF_1_1MemRegion.html',1,'SVF']]],
+  ['memssa_7002',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF']]],
+  ['memssastat_7003',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF']]],
+  ['mergefunctionrets_7004',['MergeFunctionRets',['../classSVF_1_1MergeFunctionRets.html',1,'SVF']]],
+  ['mhp_7005',['MHP',['../classSVF_1_1MHP.html',1,'SVF']]],
+  ['mhpvalidator_7006',['MHPValidator',['../classSVF_1_1MHPValidator.html',1,'SVF']]],
+  ['mrgenerator_7007',['MRGenerator',['../classSVF_1_1MRGenerator.html',1,'SVF']]],
+  ['mrsvfgnode_7008',['MRSVFGNode',['../classSVF_1_1MRSVFGNode.html',1,'SVF']]],
+  ['mrver_7009',['MRVer',['../classSVF_1_1MRVer.html',1,'SVF']]],
+  ['mssachi_7010',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF']]],
+  ['mssadef_7011',['MSSADEF',['../classSVF_1_1MSSADEF.html',1,'SVF']]],
+  ['mssamu_7012',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF']]],
+  ['mssaphi_7013',['MSSAPHI',['../classSVF_1_1MSSAPHI.html',1,'SVF']]],
+  ['mssaphisvfgnode_7014',['MSSAPHISVFGNode',['../classSVF_1_1MSSAPHISVFGNode.html',1,'SVF']]],
+  ['mta_7015',['MTA',['../classSVF_1_1MTA.html',1,'SVF']]],
+  ['mtaannotator_7016',['MTAAnnotator',['../classSVF_1_1MTAAnnotator.html',1,'SVF']]],
+  ['mtaresultvalidator_7017',['MTAResultValidator',['../classSVF_1_1MTAResultValidator.html',1,'SVF']]],
+  ['mtastat_7018',['MTAStat',['../classSVF_1_1MTAStat.html',1,'SVF']]],
+  ['mtasvfgbuilder_7019',['MTASVFGBuilder',['../classSVF_1_1MTASVFGBuilder.html',1,'SVF']]],
+  ['multiopndstmt_7020',['MultiOpndStmt',['../classSVF_1_1MultiOpndStmt.html',1,'SVF']]],
+  ['mutabledfptdata_7021',['MutableDFPTData',['../classSVF_1_1MutableDFPTData.html',1,'SVF']]],
+  ['mutablediffptdata_7022',['MutableDiffPTData',['../classSVF_1_1MutableDiffPTData.html',1,'SVF']]],
+  ['mutableincdfptdata_7023',['MutableIncDFPTData',['../classSVF_1_1MutableIncDFPTData.html',1,'SVF']]],
+  ['mutableptdata_7024',['MutablePTData',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
+  ['mutableptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e_7025',['MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html',1,'SVF']]],
+  ['mutableversionedptdata_7026',['MutableVersionedPTData',['../classSVF_1_1MutableVersionedPTData.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/search/classes_c.js

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['neverfreebug_6998',['NeverFreeBug',['../classSVF_1_1NeverFreeBug.html',1,'SVF']]],
-  ['nodedata_6999',['NodeData',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html',1,'SVF::VersionedFlowSensitive::SCC']]],
-  ['nodeidallocator_7000',['NodeIDAllocator',['../classSVF_1_1NodeIDAllocator.html',1,'SVF']]],
-  ['normalgepcgedge_7001',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html',1,'SVF']]],
-  ['nullptrvfgnode_7002',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html',1,'SVF']]],
-  ['numericliteral_7003',['NumericLiteral',['../classSVF_1_1NumericLiteral.html',1,'SVF']]]
+  ['neverfreebug_7027',['NeverFreeBug',['../classSVF_1_1NeverFreeBug.html',1,'SVF']]],
+  ['nodedata_7028',['NodeData',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html',1,'SVF::VersionedFlowSensitive::SCC']]],
+  ['nodeidallocator_7029',['NodeIDAllocator',['../classSVF_1_1NodeIDAllocator.html',1,'SVF']]],
+  ['normalgepcgedge_7030',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html',1,'SVF']]],
+  ['nullptrvfgnode_7031',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html',1,'SVF']]],
+  ['numericliteral_7032',['NumericLiteral',['../classSVF_1_1NumericLiteral.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/search/classes_d.js

@@ -1,22 +1,22 @@
 var searchData=
 [
-  ['objtypeinference_7004',['ObjTypeInference',['../classSVF_1_1ObjTypeInference.html',1,'SVF']]],
-  ['objtypeinfo_7005',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF']]],
-  ['objvar_7006',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF']]],
-  ['option_7007',['Option',['../classOption.html',1,'']]],
-  ['option_3c_20bool_20_3e_7008',['Option< bool >',['../classOption.html',1,'']]],
-  ['option_3c_20std_3a_3astring_20_3e_7009',['Option< std::string >',['../classOption.html',1,'']]],
-  ['option_3c_20u32_5ft_20_3e_7010',['Option< u32_t >',['../classOption.html',1,'']]],
-  ['optionbase_7011',['OptionBase',['../classOptionBase.html',1,'']]],
-  ['optionmap_7012',['OptionMap',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20bvdataptaimpl_3a_3aptbackingtype_20_3e_7013',['OptionMap< BVDataPTAImpl::PTBackingType >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20enum_20hclust_5ffast_5fmethods_20_3e_7014',['OptionMap< enum hclust_fast_methods >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20enum_20ptastat_3a_3aclocktype_20_3e_7015',['OptionMap< enum PTAStat::ClockType >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20memssa_3a_3amempartition_20_3e_7016',['OptionMap< MemSSA::MemPartition >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20pointsto_3a_3atype_20_3e_7017',['OptionMap< PointsTo::Type >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20svf_3a_3anodeidallocator_3a_3astrategy_20_3e_7018',['OptionMap< SVF::NodeIDAllocator::Strategy >',['../classOptionMap.html',1,'']]],
-  ['optionmultiple_7019',['OptionMultiple',['../classOptionMultiple.html',1,'']]],
-  ['optionmultiple_3c_20pointeranalysis_3a_3aptaty_20_3e_7020',['OptionMultiple< PointerAnalysis::PTATY >',['../classOptionMultiple.html',1,'']]],
-  ['optionmultiple_3c_20wpapass_3a_3aaliascheckrule_20_3e_7021',['OptionMultiple< WPAPass::AliasCheckRule >',['../classOptionMultiple.html',1,'']]],
-  ['options_7022',['Options',['../classSVF_1_1Options.html',1,'SVF']]]
+  ['objtypeinference_7033',['ObjTypeInference',['../classSVF_1_1ObjTypeInference.html',1,'SVF']]],
+  ['objtypeinfo_7034',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF']]],
+  ['objvar_7035',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF']]],
+  ['option_7036',['Option',['../classOption.html',1,'']]],
+  ['option_3c_20bool_20_3e_7037',['Option< bool >',['../classOption.html',1,'']]],
+  ['option_3c_20std_3a_3astring_20_3e_7038',['Option< std::string >',['../classOption.html',1,'']]],
+  ['option_3c_20u32_5ft_20_3e_7039',['Option< u32_t >',['../classOption.html',1,'']]],
+  ['optionbase_7040',['OptionBase',['../classOptionBase.html',1,'']]],
+  ['optionmap_7041',['OptionMap',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20bvdataptaimpl_3a_3aptbackingtype_20_3e_7042',['OptionMap< BVDataPTAImpl::PTBackingType >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20enum_20hclust_5ffast_5fmethods_20_3e_7043',['OptionMap< enum hclust_fast_methods >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20enum_20ptastat_3a_3aclocktype_20_3e_7044',['OptionMap< enum PTAStat::ClockType >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20memssa_3a_3amempartition_20_3e_7045',['OptionMap< MemSSA::MemPartition >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20pointsto_3a_3atype_20_3e_7046',['OptionMap< PointsTo::Type >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20svf_3a_3anodeidallocator_3a_3astrategy_20_3e_7047',['OptionMap< SVF::NodeIDAllocator::Strategy >',['../classOptionMap.html',1,'']]],
+  ['optionmultiple_7048',['OptionMultiple',['../classOptionMultiple.html',1,'']]],
+  ['optionmultiple_3c_20pointeranalysis_3a_3aptaty_20_3e_7049',['OptionMultiple< PointerAnalysis::PTATY >',['../classOptionMultiple.html',1,'']]],
+  ['optionmultiple_3c_20wpapass_3a_3aaliascheckrule_20_3e_7050',['OptionMultiple< WPAPass::AliasCheckRule >',['../classOptionMultiple.html',1,'']]],
+  ['options_7051',['Options',['../classSVF_1_1Options.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/search/classes_e.js

@@ -1,39 +1,39 @@
 var searchData=
 [
-  ['pagbuilderfromfile_7023',['PAGBuilderFromFile',['../classSVF_1_1PAGBuilderFromFile.html',1,'SVF']]],
-  ['parse_5fbuffer_7024',['parse_buffer',['../structparse__buffer.html',1,'']]],
-  ['partialbufferoverflowbug_7025',['PartialBufferOverflowBug',['../classSVF_1_1PartialBufferOverflowBug.html',1,'SVF']]],
-  ['partialleakbug_7026',['PartialLeakBug',['../classSVF_1_1PartialLeakBug.html',1,'SVF']]],
-  ['partialnullptrdereferencebug_7027',['PartialNullPtrDereferenceBug',['../classSVF_1_1PartialNullPtrDereferenceBug.html',1,'SVF']]],
-  ['pcg_7028',['PCG',['../classSVF_1_1PCG.html',1,'SVF']]],
-  ['persistentdfptdata_7029',['PersistentDFPTData',['../classSVF_1_1PersistentDFPTData.html',1,'SVF']]],
-  ['persistentdiffptdata_7030',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html',1,'SVF']]],
-  ['persistentincdfptdata_7031',['PersistentIncDFPTData',['../classSVF_1_1PersistentIncDFPTData.html',1,'SVF']]],
-  ['persistentpointstocache_7032',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
-  ['persistentpointstocache_3c_20dataset_20_3e_7033',['PersistentPointsToCache< DataSet >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
-  ['persistentpointstocache_3c_20svf_3a_3apointsto_20_3e_7034',['PersistentPointsToCache< SVF::PointsTo >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
-  ['persistentptdata_7035',['PersistentPTData',['../classSVF_1_1PersistentPTData.html',1,'SVF']]],
-  ['persistentptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e_7036',['PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html',1,'SVF']]],
-  ['persistentversionedptdata_7037',['PersistentVersionedPTData',['../classSVF_1_1PersistentVersionedPTData.html',1,'SVF']]],
-  ['phistmt_7038',['PhiStmt',['../classSVF_1_1PhiStmt.html',1,'SVF']]],
-  ['phivfgnode_7039',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html',1,'SVF']]],
-  ['pocralias_7040',['POCRAlias',['../classSVF_1_1POCRAlias.html',1,'SVF']]],
-  ['pocrhybrid_7041',['POCRHybrid',['../classSVF_1_1POCRHybrid.html',1,'SVF']]],
-  ['pocrhybridsolver_7042',['POCRHybridSolver',['../classSVF_1_1POCRHybridSolver.html',1,'SVF']]],
-  ['pocrsolver_7043',['POCRSolver',['../classSVF_1_1POCRSolver.html',1,'SVF']]],
-  ['pointee_5fiter_7044',['pointee_iter',['../structSVF_1_1pointee__iter.html',1,'SVF']]],
-  ['pointer_5fiterator_7045',['pointer_iterator',['../classSVF_1_1pointer__iterator.html',1,'SVF']]],
-  ['pointeranalysis_7046',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html',1,'SVF']]],
-  ['pointsto_7047',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF']]],
-  ['pointstoiterator_7048',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html',1,'SVF::PointsTo']]],
-  ['populationcounter_7049',['PopulationCounter',['../structSVF_1_1PopulationCounter.html',1,'SVF']]],
-  ['populationcounter_3c_20t_2c_208_20_3e_7050',['PopulationCounter< T, 8 >',['../structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html',1,'SVF']]],
-  ['printbuffer_7051',['printbuffer',['../structprintbuffer.html',1,'']]],
-  ['progslice_7052',['ProgSlice',['../classSVF_1_1ProgSlice.html',1,'SVF']]],
-  ['ptacallgraph_7053',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF']]],
-  ['ptacallgraphedge_7054',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF']]],
-  ['ptacallgraphnode_7055',['PTACallGraphNode',['../classSVF_1_1PTACallGraphNode.html',1,'SVF']]],
-  ['ptastat_7056',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF']]],
-  ['ptdata_7057',['PTData',['../classSVF_1_1PTData.html',1,'SVF']]],
-  ['ptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e_7058',['PTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PTData.html',1,'SVF']]]
+  ['pagbuilderfromfile_7052',['PAGBuilderFromFile',['../classSVF_1_1PAGBuilderFromFile.html',1,'SVF']]],
+  ['parse_5fbuffer_7053',['parse_buffer',['../structparse__buffer.html',1,'']]],
+  ['partialbufferoverflowbug_7054',['PartialBufferOverflowBug',['../classSVF_1_1PartialBufferOverflowBug.html',1,'SVF']]],
+  ['partialleakbug_7055',['PartialLeakBug',['../classSVF_1_1PartialLeakBug.html',1,'SVF']]],
+  ['partialnullptrdereferencebug_7056',['PartialNullPtrDereferenceBug',['../classSVF_1_1PartialNullPtrDereferenceBug.html',1,'SVF']]],
+  ['pcg_7057',['PCG',['../classSVF_1_1PCG.html',1,'SVF']]],
+  ['persistentdfptdata_7058',['PersistentDFPTData',['../classSVF_1_1PersistentDFPTData.html',1,'SVF']]],
+  ['persistentdiffptdata_7059',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html',1,'SVF']]],
+  ['persistentincdfptdata_7060',['PersistentIncDFPTData',['../classSVF_1_1PersistentIncDFPTData.html',1,'SVF']]],
+  ['persistentpointstocache_7061',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
+  ['persistentpointstocache_3c_20dataset_20_3e_7062',['PersistentPointsToCache< DataSet >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
+  ['persistentpointstocache_3c_20svf_3a_3apointsto_20_3e_7063',['PersistentPointsToCache< SVF::PointsTo >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
+  ['persistentptdata_7064',['PersistentPTData',['../classSVF_1_1PersistentPTData.html',1,'SVF']]],
+  ['persistentptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e_7065',['PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html',1,'SVF']]],
+  ['persistentversionedptdata_7066',['PersistentVersionedPTData',['../classSVF_1_1PersistentVersionedPTData.html',1,'SVF']]],
+  ['phistmt_7067',['PhiStmt',['../classSVF_1_1PhiStmt.html',1,'SVF']]],
+  ['phivfgnode_7068',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html',1,'SVF']]],
+  ['pocralias_7069',['POCRAlias',['../classSVF_1_1POCRAlias.html',1,'SVF']]],
+  ['pocrhybrid_7070',['POCRHybrid',['../classSVF_1_1POCRHybrid.html',1,'SVF']]],
+  ['pocrhybridsolver_7071',['POCRHybridSolver',['../classSVF_1_1POCRHybridSolver.html',1,'SVF']]],
+  ['pocrsolver_7072',['POCRSolver',['../classSVF_1_1POCRSolver.html',1,'SVF']]],
+  ['pointee_5fiter_7073',['pointee_iter',['../structSVF_1_1pointee__iter.html',1,'SVF']]],
+  ['pointer_5fiterator_7074',['pointer_iterator',['../classSVF_1_1pointer__iterator.html',1,'SVF']]],
+  ['pointeranalysis_7075',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html',1,'SVF']]],
+  ['pointsto_7076',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF']]],
+  ['pointstoiterator_7077',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html',1,'SVF::PointsTo']]],
+  ['populationcounter_7078',['PopulationCounter',['../structSVF_1_1PopulationCounter.html',1,'SVF']]],
+  ['populationcounter_3c_20t_2c_208_20_3e_7079',['PopulationCounter< T, 8 >',['../structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html',1,'SVF']]],
+  ['printbuffer_7080',['printbuffer',['../structprintbuffer.html',1,'']]],
+  ['progslice_7081',['ProgSlice',['../classSVF_1_1ProgSlice.html',1,'SVF']]],
+  ['ptacallgraph_7082',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF']]],
+  ['ptacallgraphedge_7083',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF']]],
+  ['ptacallgraphnode_7084',['PTACallGraphNode',['../classSVF_1_1PTACallGraphNode.html',1,'SVF']]],
+  ['ptastat_7085',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF']]],
+  ['ptdata_7086',['PTData',['../classSVF_1_1PTData.html',1,'SVF']]],
+  ['ptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e_7087',['PTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PTData.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/search/classes_f.js

@@ -1,28 +1,28 @@
 var searchData=
 [
-  ['raceresultvalidator_7059',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
-  ['racevalidator_7060',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF']]],
-  ['readeridtoobjmap_7061',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20chnode_20_3e_7062',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20nodety_20_3e_7063',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_7064',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readeridtoobjmap_3c_20svfvar_20_3e_7065',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
-  ['readerptrpool_7066',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20chedge_20_3e_7067',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20edgety_20_3e_7068',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_7069',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_7070',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_7071',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7072',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['readerptrpool_3c_20svfstmt_20_3e_7073',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
-  ['referenceproxy_7074',['ReferenceProxy',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html',1,'SVF::iter_facade_base']]],
-  ['relationsolver_7075',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF']]],
-  ['relexestate_7076',['RelExeState',['../classSVF_1_1RelExeState.html',1,'SVF']]],
-  ['retcfgedge_7077',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF']]],
-  ['retdirsvfgedge_7078',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF']]],
-  ['reticfgnode_7079',['RetICFGNode',['../classSVF_1_1RetICFGNode.html',1,'SVF']]],
-  ['retindsvfgedge_7080',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF']]],
-  ['retmu_7081',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF']]],
-  ['retpe_7082',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF']]],
-  ['retpn_7083',['RetPN',['../classSVF_1_1RetPN.html',1,'SVF']]]
+  ['raceresultvalidator_7088',['RaceResultValidator',['../classSVF_1_1RaceResultValidator.html',1,'SVF']]],
+  ['racevalidator_7089',['RaceValidator',['../classSVF_1_1RaceValidator.html',1,'SVF']]],
+  ['readeridtoobjmap_7090',['ReaderIDToObjMap',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20chnode_20_3e_7091',['ReaderIDToObjMap< CHNode >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20nodety_20_3e_7092',['ReaderIDToObjMap< NodeTy >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svf_3a_3amemobj_20_3e_7093',['ReaderIDToObjMap< SVF::MemObj >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readeridtoobjmap_3c_20svfvar_20_3e_7094',['ReaderIDToObjMap< SVFVar >',['../classSVF_1_1ReaderIDToObjMap.html',1,'SVF']]],
+  ['readerptrpool_7095',['ReaderPtrPool',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20chedge_20_3e_7096',['ReaderPtrPool< CHEdge >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20edgety_20_3e_7097',['ReaderPtrPool< EdgeTy >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3astinfo_20_3e_7098',['ReaderPtrPool< SVF::StInfo >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfloop_20_3e_7099',['ReaderPtrPool< SVF::SVFLoop >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvftype_20_3e_7100',['ReaderPtrPool< SVF::SVFType >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svf_3a_3asvfvalue_20_3e_7101',['ReaderPtrPool< SVF::SVFValue >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['readerptrpool_3c_20svfstmt_20_3e_7102',['ReaderPtrPool< SVFStmt >',['../classSVF_1_1ReaderPtrPool.html',1,'SVF']]],
+  ['referenceproxy_7103',['ReferenceProxy',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html',1,'SVF::iter_facade_base']]],
+  ['relationsolver_7104',['RelationSolver',['../classSVF_1_1RelationSolver.html',1,'SVF']]],
+  ['relexestate_7105',['RelExeState',['../classSVF_1_1RelExeState.html',1,'SVF']]],
+  ['retcfgedge_7106',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF']]],
+  ['retdirsvfgedge_7107',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF']]],
+  ['reticfgnode_7108',['RetICFGNode',['../classSVF_1_1RetICFGNode.html',1,'SVF']]],
+  ['retindsvfgedge_7109',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF']]],
+  ['retmu_7110',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF']]],
+  ['retpe_7111',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF']]],
+  ['retpn_7112',['RetPN',['../classSVF_1_1RetPN.html',1,'SVF']]]
 ];

package/SVF-doxygen/html/search/defines_0.js

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['abort_5fifnot_13654',['ABORT_IFNOT',['../ObjTypeInference_8cpp.html#a7165377d2fbd76a86ed0ec5218712c78',1,'ABORT_IFNOT(): ObjTypeInference.cpp'],['../SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef',1,'ABORT_IFNOT(): SVFFileSystem.h']]],
-  ['abort_5fmsg_13655',['ABORT_MSG',['../ObjTypeInference_8cpp.html#a54176d0866e198769367b0dc65e049b5',1,'ABORT_MSG(): ObjTypeInference.cpp'],['../SVFFileSystem_8h.html#a499ce9b5ddc1be98376f5a5791b38c86',1,'ABORT_MSG(): SVFFileSystem.h']]],
-  ['addressmask_13656',['AddressMask',['../AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f',1,'AddressValue.h']]]
+  ['abort_5fifnot_13713',['ABORT_IFNOT',['../ObjTypeInference_8cpp.html#a7165377d2fbd76a86ed0ec5218712c78',1,'ABORT_IFNOT(): ObjTypeInference.cpp'],['../SVFFileSystem_8h.html#a3b65d8dd2f9077c4036304ea0ca474ef',1,'ABORT_IFNOT(): SVFFileSystem.h']]],
+  ['abort_5fmsg_13714',['ABORT_MSG',['../ObjTypeInference_8cpp.html#a54176d0866e198769367b0dc65e049b5',1,'ABORT_MSG(): ObjTypeInference.cpp'],['../SVFFileSystem_8h.html#a499ce9b5ddc1be98376f5a5791b38c86',1,'ABORT_MSG(): SVFFileSystem.h']]],
+  ['addressmask_13715',['AddressMask',['../AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f',1,'AddressValue.h']]]
 ];

package/SVF-doxygen/html/search/defines_1.js

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['blackholeaddr_13657',['BlackHoleAddr',['../AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef',1,'AddressValue.h']]],
-  ['branchflagmask_13658',['BRANCHFLAGMASK',['../SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec',1,'SVFBugReport.h']]],
-  ['buffer_5fat_5foffset_13659',['buffer_at_offset',['../cJSON_8cpp.html#ac538057ef78677344d222b763251af5e',1,'cJSON.cpp']]]
+  ['blackholeaddr_13716',['BlackHoleAddr',['../AddressValue_8h.html#aa3de212b2be9b2f91d42152dfc9f1eef',1,'AddressValue.h']]],
+  ['branchflagmask_13717',['BRANCHFLAGMASK',['../SVFBugReport_8h.html#a6c7cd1f1c2372251f51de3a8392faeec',1,'SVFBugReport.h']]],
+  ['buffer_5fat_5foffset_13718',['buffer_at_offset',['../cJSON_8cpp.html#ac538057ef78677344d222b763251af5e',1,'cJSON.cpp']]]
 ];

package/SVF-doxygen/html/search/defines_10.js

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['warn_5fifnot_13765',['WARN_IFNOT',['../ObjTypeInference_8cpp.html#a482b3cc567fd28e9a30e7594c100149f',1,'ObjTypeInference.cpp']]],
-  ['warn_5fmsg_13766',['WARN_MSG',['../ObjTypeInference_8cpp.html#ac48ef12f2a6f605d6fa5d31e7623a826',1,'ObjTypeInference.cpp']]]
+  ['warn_5fifnot_13824',['WARN_IFNOT',['../ObjTypeInference_8cpp.html#a482b3cc567fd28e9a30e7594c100149f',1,'ObjTypeInference.cpp']]],
+  ['warn_5fmsg_13825',['WARN_MSG',['../ObjTypeInference_8cpp.html#ac48ef12f2a6f605d6fa5d31e7623a826',1,'ObjTypeInference.cpp']]]
 ];