Gringo::Output::ConjunctionElem Struct Reference

#include <literals.hh>

Collaboration diagram for Gringo::Output::ConjunctionElem:

Public Member Functions
	ConjunctionElem (PredicateDomain::element_type *head, ULitVec &&body)
size_t	hash () const
bool	operator== (ConjunctionElem const &x) const
void	print (std::ostream &out) const

Public Attributes
PredicateDomain::element_type *	head
ULitVec	body

Constructor & Destructor Documentation

Gringo::Output::ConjunctionElem::ConjunctionElem	(	PredicateDomain::element_type *	head,
		ULitVec &&	body
	)

Member Function Documentation

size_t Gringo::Output::ConjunctionElem::hash

(

)

const

Here is the call graph for this function:

bool Gringo::Output::ConjunctionElem::operator==

(

ConjunctionElem const &

x

)

const

Here is the call graph for this function:

void Gringo::Output::ConjunctionElem::print

(

std::ostream &

out

)

const

Here is the call graph for this function:

Member Data Documentation

ULitVec Gringo::Output::ConjunctionElem::body

PredicateDomain::element_type* Gringo::Output::ConjunctionElem::head

---

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