Gringo::Output::HeadAggregateElement Struct Reference

#include <statements.hh>

Collaboration diagram for Gringo::Output::HeadAggregateElement:

Classes
struct	Cond

Public Types
using	CondVec = std::vector< Cond >

Public Attributes
CondVec	conds
unsigned	imported = 0
bool	fact = false

Member Typedef Documentation

using Gringo::Output::HeadAggregateElement::CondVec = std::vector<Cond>

Member Data Documentation

CondVec Gringo::Output::HeadAggregateElement::conds

bool Gringo::Output::HeadAggregateElement::fact = false

unsigned Gringo::Output::HeadAggregateElement::imported = 0

---

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

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