Gringo::Output::AuxAtom Struct Reference

#include <literals.hh>

Collaboration diagram for Gringo::Output::AuxAtom:

Public Member Functions
	AuxAtom (unsigned name)
int	lparseUid (LparseOutputter &out)

Public Attributes
unsigned	name
unsigned	uid = 0

Constructor & Destructor Documentation

Gringo::Output::AuxAtom::AuxAtom

(

unsigned

name

)

Member Function Documentation

int Gringo::Output::AuxAtom::lparseUid

(

LparseOutputter &

out

)

Here is the call graph for this function:

Member Data Documentation

unsigned Gringo::Output::AuxAtom::name

unsigned Gringo::Output::AuxAtom::uid = 0

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/output/literals.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/output/literals.cc