Options to fine-tune the grounding process. More...

#include <grounder.hh>

Public Attributes
EstimateFunction	fun = EstimateFunction::average
	Function to combine estimates for recursive domains.

EstimateSelector	sel = EstimateSelector::pred
	Selector to choose what kind of literals to use for recursive domains.

Detailed Description

Options to fine-tune the grounding process.

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

Public Attributes