Gringo::Ground::Instantiator Struct Reference

#include <instantiation.hh>

Collaboration diagram for Gringo::Ground::Instantiator:

Public Types
typedef BackjumpBinder::DependVec	DependVec
typedef BackjumpBinder::SValVec	SValVec

Public Member Functions
	Instantiator (SolutionCallback &callback)
	Instantiator (Instantiator &&x) noexcept
void	add (UIdx &&index, DependVec &&depends)
void	finalize (DependVec &&depends)
void	enqueue (Queue &queue)
void	instantiate (Output::OutputBase &out)
void	print (std::ostream &out) const
	~Instantiator ()

Public Attributes
SolutionCallback &	callback
std::vector< BackjumpBinder >	binders
bool	enqueued = false

Member Typedef Documentation

typedef BackjumpBinder::DependVec Gringo::Ground::Instantiator::DependVec

typedef BackjumpBinder::SValVec Gringo::Ground::Instantiator::SValVec

Constructor & Destructor Documentation

Gringo::Ground::Instantiator::Instantiator

(

SolutionCallback &

callback

)

Gringo::Ground::Instantiator::Instantiator ( Instantiator &&  x )

defaultnoexcept

Gringo::Ground::Instantiator::~Instantiator

(

)

Member Function Documentation

void Gringo::Ground::Instantiator::add	(	UIdx &&	index,
		DependVec &&	depends
	)

void Gringo::Ground::Instantiator::enqueue

(

Queue &

queue

)

Here is the call graph for this function:

void Gringo::Ground::Instantiator::finalize

(

DependVec &&

depends

)

void Gringo::Ground::Instantiator::instantiate

(

Output::OutputBase &

out

)

Here is the call graph for this function:

void Gringo::Ground::Instantiator::print

(

std::ostream &

out

)

const

Here is the call graph for this function:

Member Data Documentation

std::vector<BackjumpBinder> Gringo::Ground::Instantiator::binders

SolutionCallback& Gringo::Ground::Instantiator::callback

bool Gringo::Ground::Instantiator::enqueued = false

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/ground/instantiation.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/ground/instantiation.cc