CppClingo::Ground::ProjectState Class Reference

The state capturing the base of a projection. More...

#include <base.hh>

Public Member Functions
	ProjectState (String name, size_t vars, AtomBase &base, UTerm p_head, UTerm p_body)
	Initialize the state.
auto	base () const -> AtomBase &
	Get the base of the unprojected literal.
auto	p_base () -> AtomBase &
	Get the base of the projected literal.
auto	name () const -> String const &
	Get the auxiliary name of projected literal.
void	init (InstantiationContext const &ctx, size_t gen)
	Initialize the projected base.

Detailed Description

The state capturing the base of a projection.

Member Function Documentation

init()

void CppClingo::Ground::ProjectState::init	(	InstantiationContext const &	ctx,
		size_t	gen
	)

Initialize the projected base.

This populates the projected base.

---

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

• clingo/ground/base.hh