Helper class to prepare statements for grounding. More...

#include <statement.hh>

Public Member Functions
	Linearizer (std::pmr::monotonic_buffer_resource &mbr)
	Construct the linearizer.

void	start (Queue &queue)
	Indicate that a new domain is being prepared.

void	prepare (InstanceCallback &cb, ULitVec const &body, VariableSet important)
	Prepare a statement for grounding.

Detailed Description

Helper class to prepare statements for grounding.

The documentation for this class was generated from the following file:

Public Member Functions