• DECLARE : determinize.cpp
• DEFINE_FAKE_STATIC_DATA : TransitionStorage.hpp , StateStorage.hpp
• FOR_EACH_FINAL_STATE : WFA.cpp
• FOR_EACH_STATE : WFA.cpp
• FWPDS_DYN_CAST : FWPDS.cpp
• FWPDSDBGS : GraphCommon.hpp
• HASHMAP_GROWTH_FRACTION : HashMap.hpp
• HASHMAP_SHRINK_FRACTION : HashMap.hpp
• IMPL_LIST : TransSet.hpp
• IMPLFIND : TransSet.cpp
• INCREMENTAL : GraphCommon.hpp
• jenkins_mix : hm_hash.hpp
• jenkins_wrapper : hm_hash.hpp
• key2str : determinize.cpp
• longhash1 : hm_hash.hpp
• MINIMIZE_HEIGHT : RegExp.cpp
• nodeno : IntraGraph.cpp
• PINS : ParseArgv.cpp
• primitive_type_hash : hm_hash.hpp
• REGEXP_METHOD : IntraGraph.cpp
• relations : RelationOpsPaired.hpp
• STAT : GraphCommon.hpp
• TRANS_COUNT_INSTANCES : Trans.cpp
• wali_nwa_query_details_GENESIS_HPP : genesis.hpp
• WIN : GraphCommon.hpp