BlockReducer Member List

This is the complete list of members for BlockReducer, including all inherited members.

BlockReducer(std::unique_ptr< Prog > &&prog) (defined in BlockReducer)	BlockReducer	inline
Enumerate(const Prog &prog) override	BlockReducer	inlinevirtual
GlobalReducer(std::unique_ptr< Prog > &&prog, const char *name) (defined in GlobalReducer)	GlobalReducer	inline
Reduce(Prog &prog, std::set< std::string_view > deleted) override	BlockReducer	inlinevirtual
Run(const Timeout &timeout) (defined in GlobalReducer)	GlobalReducer	inline