Gringo::Ground::Queue Struct Reference

#include <instantiation.hh>

Collaboration diagram for Gringo::Ground::Queue:

Public Types
using	QueueDec = std::deque< std::reference_wrapper< Instantiator >>
using	DomainVec = std::vector< std::reference_wrapper< Domain >>

Public Member Functions
void	process (Output::OutputBase &out)
void	enqueue (Instantiator &inst)
void	enqueue (Domain &inst)
	~Queue ()

Public Attributes
QueueDec	current
QueueDec	queue
DomainVec	domains

Member Typedef Documentation

using Gringo::Ground::Queue::DomainVec = std::vector<std::reference_wrapper<Domain>>

using Gringo::Ground::Queue::QueueDec = std::deque<std::reference_wrapper<Instantiator>>

Constructor & Destructor Documentation

Gringo::Ground::Queue::~Queue

(

)

Member Function Documentation

void Gringo::Ground::Queue::enqueue

(

Instantiator &

inst

)

void Gringo::Ground::Queue::enqueue

(

Domain &

inst

)

Here is the call graph for this function:

void Gringo::Ground::Queue::process

(

Output::OutputBase &

out

)

Member Data Documentation

QueueDec Gringo::Ground::Queue::current

DomainVec Gringo::Ground::Queue::domains

QueueDec Gringo::Ground::Queue::queue

---

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