Gringo::Output::BodyAggregateState Struct Reference

#include <literals.hh>

Collaboration diagram for Gringo::Output::BodyAggregateState:

Public Types
enum	State { UNKNOWN, DEFINED, OPEN }
using	Bounds = IntervalSet< Value >
using	element_type = std::pair< Value const, BodyAggregateState >

Public Member Functions
bool	fact (bool recursive) const
unsigned	generation () const
void	generation (unsigned x)
bool	isFalse ()
void	accumulate (ValVec const &tuple, AggregateFunction fun, bool fact, bool remove)
void	init (AggregateFunction fun)
bool	defined () const
Bounds::Interval	range (AggregateFunction fun) const
	~BodyAggregateState ()

Static Public Member Functions
static element_type &	ignore ()

Public Attributes
Bounds	bounds
BdAggrElemSet	elems
union {
int64_t   intMin
Value::POD   valMin
};
union {
int64_t   intMax
Value::POD   valMax
};
unsigned	_generation = 0
State	state = OPEN
bool	_positive = false
bool	_fact = false

Member Typedef Documentation

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

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

Member Enumeration Documentation

enum Gringo::Output::BodyAggregateState::State

Enumerator
UNKNOWN
DEFINED
OPEN

Constructor & Destructor Documentation

Gringo::Output::BodyAggregateState::~BodyAggregateState

(

)

Member Function Documentation

void Gringo::Output::BodyAggregateState::accumulate	(	ValVec const &	tuple,
		AggregateFunction	fun,
		bool	fact,
		bool	remove
	)

Here is the call graph for this function:

bool Gringo::Output::BodyAggregateState::defined

(

)

const

bool Gringo::Output::BodyAggregateState::fact

(

bool

recursive

)

const

unsigned Gringo::Output::BodyAggregateState::generation

(

)

const

void Gringo::Output::BodyAggregateState::generation

(

unsigned

x

)

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

static

void Gringo::Output::BodyAggregateState::init

(

AggregateFunction

fun

)

bool Gringo::Output::BodyAggregateState::isFalse

(

)

BodyAggregateState::Bounds::Interval Gringo::Output::BodyAggregateState::range

(

AggregateFunction

fun

)

const

Here is the call graph for this function:

Member Data Documentation

union { ... }

union { ... }

bool Gringo::Output::BodyAggregateState::_fact = false

unsigned Gringo::Output::BodyAggregateState::_generation = 0

bool Gringo::Output::BodyAggregateState::_positive = false

Bounds Gringo::Output::BodyAggregateState::bounds

BdAggrElemSet Gringo::Output::BodyAggregateState::elems

int64_t Gringo::Output::BodyAggregateState::intMax

int64_t Gringo::Output::BodyAggregateState::intMin

State Gringo::Output::BodyAggregateState::state = OPEN

Value::POD Gringo::Output::BodyAggregateState::valMax

Value::POD Gringo::Output::BodyAggregateState::valMin

---

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