Gringo::Ground::HeadDefinition Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::HeadDefinition:

Collaboration diagram for Gringo::Ground::HeadDefinition:

Public Types
typedef std::unordered_map < IndexUpdater *, unsigned >	OffsetMap
typedef std::vector < std::reference_wrapper < Instantiator > >	RInstVec
typedef std::vector< std::pair < IndexUpdater *, RInstVec > >	EnqueueVec

Public Member Functions
	HeadDefinition (UTerm &&repr)
	HeadDefinition (HeadDefinition &&)=default
UGTerm	getRepr () const
void	collectImportant (Term::VarSet &vars)
void	enqueue (Queue &queue)
virtual void	defines (IndexUpdater &update, Instantiator *inst)
virtual	~HeadDefinition ()
Public Member Functions inherited from Gringo::Ground::HeadOccurrence
virtual	~HeadOccurrence ()

Public Attributes
UTerm	repr
OffsetMap	offsets
EnqueueVec	enqueueVec
bool	active = false

Member Typedef Documentation

typedef std::vector<std::pair<IndexUpdater*, RInstVec> > Gringo::Ground::HeadDefinition::EnqueueVec

typedef std::unordered_map<IndexUpdater*, unsigned> Gringo::Ground::HeadDefinition::OffsetMap

typedef std::vector<std::reference_wrapper<Instantiator> > Gringo::Ground::HeadDefinition::RInstVec

Constructor & Destructor Documentation

Gringo::Ground::HeadDefinition::HeadDefinition

(

UTerm &&

repr

)

Gringo::Ground::HeadDefinition::HeadDefinition ( HeadDefinition &&  )

default

Gringo::Ground::HeadDefinition::~HeadDefinition ( )

virtual

Member Function Documentation

void Gringo::Ground::HeadDefinition::collectImportant

(

Term::VarSet &

vars

)

void Gringo::Ground::HeadDefinition::defines ( IndexUpdater &  update, Instantiator *  inst  )

virtual

Implements Gringo::Ground::HeadOccurrence.

void Gringo::Ground::HeadDefinition::enqueue

(

Queue &

queue

)

Here is the call graph for this function:

UGTerm Gringo::Ground::HeadDefinition::getRepr

(

)

const

Member Data Documentation

bool Gringo::Ground::HeadDefinition::active = false

EnqueueVec Gringo::Ground::HeadDefinition::enqueueVec

OffsetMap Gringo::Ground::HeadDefinition::offsets

UTerm Gringo::Ground::HeadDefinition::repr

---

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

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