CppClingo::Input::ProjectionMap Class Reference

Helper to gather projection related arguments. More...

#include <project.hh>

Public Member Functions
	ProjectionMap (ProjectionMode mode, Util::unordered_map< String, size_t > const &counts)
	Constructor taking the mode which variables to project and a map with counts of variables.
auto	projectable (String const &var, bool anonymous) const -> bool
	Return whether a the given variable should be projected.
auto	counts () const -> Util::unordered_map< String, size_t > const &
	Return the variable counts.
auto	mode () const -> ProjectionMode
	Return the mode.

Detailed Description

Helper to gather projection related arguments.

Member Function Documentation

projectable()

auto CppClingo::Input::ProjectionMap::projectable	(	String const &	var,
		bool	anonymous
	)		const -> bool

Return whether a the given variable should be projected.

Only variables with a count of exactly one can be projected while the mode adds further restrictions.

---

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

• clingo/input/rewrite/project.hh