Gringo::Output::HeadAggregateElement::Cond Struct Reference

#include <statements.hh>

Collaboration diagram for Gringo::Output::HeadAggregateElement::Cond:

Public Member Functions
	Cond (PredicateDomain::element_type *head, unsigned headNum, Output::ULitVec &&lits)
size_t	hash () const
bool	operator== (Cond const &x) const

Public Attributes
PredicateDomain::element_type *	head
unsigned	headNum
Output::ULitVec	lits

Constructor & Destructor Documentation

Gringo::Output::HeadAggregateElement::Cond::Cond	(	PredicateDomain::element_type *	head,
		unsigned	headNum,
		Output::ULitVec &&	lits
	)

Member Function Documentation

size_t Gringo::Output::HeadAggregateElement::Cond::hash

(

)

const

bool Gringo::Output::HeadAggregateElement::Cond::operator==

(

Cond const &

x

)

const

Member Data Documentation

PredicateDomain::element_type* Gringo::Output::HeadAggregateElement::Cond::head

unsigned Gringo::Output::HeadAggregateElement::Cond::headNum

Output::ULitVec Gringo::Output::HeadAggregateElement::Cond::lits

---

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

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