Gringo::Output::HeadAggregateState Struct Reference

#include <statements.hh>

Collaboration diagram for Gringo::Output::HeadAggregateState:

Public Types
using	Bounds = IntervalSet< Value >
using	ElemSet = unique_list< std::pair< FWValVec, HeadAggregateElement >, extract_first< FWValVec >>
using	element_type = std::pair< Value const, HeadAggregateState >

Public Member Functions
	HeadAggregateState ()
	HeadAggregateState (AggregateFunction fun, unsigned generation)
void	accumulate (ValVec const &tuple, AggregateFunction fun, PredicateDomain::element_type *head, unsigned headNum, LitVec const &lits, Location const &loc)
bool	defined () const
Bounds::Interval	range (AggregateFunction fun) const
unsigned	generation () const
bool	fact (bool) const

Static Public Member Functions
static element_type &	ignore ()

Public Attributes
Bounds	bounds
ElemSet	elems
union {
int64_t   intMin
Value::POD   valMin
};
union {
int64_t   intMax
Value::POD   valMax
};
unsigned	_generation
bool	todo = false

Member Typedef Documentation

using Gringo::Output::HeadAggregateState::Bounds = IntervalSet<Value>

using Gringo::Output::HeadAggregateState::element_type = std::pair<Value const, HeadAggregateState>

using Gringo::Output::HeadAggregateState::ElemSet = unique_list<std::pair<FWValVec, HeadAggregateElement>, extract_first<FWValVec>>

Constructor & Destructor Documentation

Gringo::Output::HeadAggregateState::HeadAggregateState

(

)

Gringo::Output::HeadAggregateState::HeadAggregateState	(	AggregateFunction	fun,
		unsigned	generation
	)

Member Function Documentation

void Gringo::Output::HeadAggregateState::accumulate	(	ValVec const &	tuple,
		AggregateFunction	fun,
		PredicateDomain::element_type *	head,
		unsigned	headNum,
		LitVec const &	lits,
		Location const &	loc
	)

Here is the call graph for this function:

bool Gringo::Output::HeadAggregateState::defined

(

)

const

bool Gringo::Output::HeadAggregateState::fact

(

bool

)

const

unsigned Gringo::Output::HeadAggregateState::generation

(

)

const

HeadAggregateState::element_type & Gringo::Output::HeadAggregateState::ignore ( )

static

HeadAggregateState::Bounds::Interval Gringo::Output::HeadAggregateState::range

(

AggregateFunction

fun

)

const

Here is the call graph for this function:

Member Data Documentation

union { ... }

union { ... }

unsigned Gringo::Output::HeadAggregateState::_generation

Bounds Gringo::Output::HeadAggregateState::bounds

ElemSet Gringo::Output::HeadAggregateState::elems

int64_t Gringo::Output::HeadAggregateState::intMax

int64_t Gringo::Output::HeadAggregateState::intMin

bool Gringo::Output::HeadAggregateState::todo = false

Value::POD Gringo::Output::HeadAggregateState::valMax

Value::POD Gringo::Output::HeadAggregateState::valMin

---

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