analysis::StaticAllocReachabilityAnalysis Member List

This is the complete list of members for analysis::StaticAllocReachabilityAnalysis, including all inherited members.

analyze(const std::vector< Token > &tokens, const std::vector< CFGBlock > &cfg_blocks)	analysis::ForwardDataflowAnalysis< std::set< std::string > >	inline
computeGenSet(size_t block_idx, const std::vector< Token > &tokens, const std::vector< CFGBlock > &cfg_blocks) override	analysis::StaticAllocReachabilityAnalysis	inlinevirtual
ForwardDataflowAnalysis()=default	analysis::ForwardDataflowAnalysis< std::set< std::string > >
getBoundaryValue() override	analysis::StaticAllocReachabilityAnalysis	inlinevirtual
getInitialOutValue()	analysis::ForwardDataflowAnalysis< std::set< std::string > >	inlinevirtual
meetOperation(const std::vector< std::set< std::string > > &inputs) override	analysis::StaticAllocReachabilityAnalysis	inlinevirtual
operator=(const ForwardDataflowAnalysis &)=default	analysis::ForwardDataflowAnalysis< std::set< std::string > >
transferFunction(const std::set< std::string > &in_value, const std::set< std::string > &gen_set) override	analysis::StaticAllocReachabilityAnalysis	inlinevirtual
~ForwardDataflowAnalysis()=default	analysis::ForwardDataflowAnalysis< std::set< std::string > >	virtual