Gringo::Output::AssignmentAggregateState Struct Reference

#include <literals.hh>

Collaboration diagram for Gringo::Output::AssignmentAggregateState:

Classes
struct	Data

Public Types
using	ValSet = std::set< Value >
using	element_type = std::pair< Value const, AssignmentAggregateState >

Public Member Functions
	AssignmentAggregateState (Data *data=nullptr, unsigned generation=0)
bool	fact (bool recursive) const
unsigned	generation () const
void	generation (unsigned x)
bool	isFalse ()
bool	defined () const

Static Public Member Functions
static element_type &	ignore ()

Public Attributes
Data *	data
unsigned	_generation

Member Typedef Documentation

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

using Gringo::Output::AssignmentAggregateState::ValSet = std::set<Value>

Constructor & Destructor Documentation

Gringo::Output::AssignmentAggregateState::AssignmentAggregateState	(	Data *	data = nullptr,
		unsigned	generation = 0
	)

Member Function Documentation

bool Gringo::Output::AssignmentAggregateState::defined

(

)

const

bool Gringo::Output::AssignmentAggregateState::fact

(

bool

recursive

)

const

unsigned Gringo::Output::AssignmentAggregateState::generation

(

)

const

void Gringo::Output::AssignmentAggregateState::generation

(

unsigned

x

)

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

static

bool Gringo::Output::AssignmentAggregateState::isFalse

(

)

Member Data Documentation

unsigned Gringo::Output::AssignmentAggregateState::_generation

Data* Gringo::Output::AssignmentAggregateState::data

---

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