AtomReducer Member List

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

AtomReducer(std::unique_ptr< Prog > &&prog) (defined in AtomReducer)	AtomReducer	inline
Enumerate(const Prog &prog) override	AtomReducer	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	AtomReducer	inlinevirtual
Run(const Timeout &timeout) (defined in GlobalReducer)	GlobalReducer	inline