CppClingo::Ground::Linearizer Member List

This is the complete list of members for CppClingo::Ground::Linearizer, including all inherited members.

Linearizer(std::pmr::monotonic_buffer_resource &mbr)	CppClingo::Ground::Linearizer	inline
prepare(InstanceCallback &cb, ULitVec const &body, VariableSet important)	CppClingo::Ground::Linearizer
start(Queue &queue)	CppClingo::Ground::Linearizer