Gringo::Output::AssignmentAggregateState::Data Struct Reference

#include <literals.hh>

Collaboration diagram for Gringo::Output::AssignmentAggregateState::Data:

Public Attributes
BdAggrElemSet	elems
unsigned	offset = 0
bool	fact = false

Member Data Documentation

BdAggrElemSet Gringo::Output::AssignmentAggregateState::Data::elems

bool Gringo::Output::AssignmentAggregateState::Data::fact = false

unsigned Gringo::Output::AssignmentAggregateState::Data::offset = 0

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/output/literals.hh