#include <literals.hh>
Gringo::Output::AssignmentAggregateState::AssignmentAggregateState |
( |
Data * |
data = nullptr , |
|
|
unsigned |
generation = 0 |
|
) |
| |
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 | ) |
|
bool Gringo::Output::AssignmentAggregateState::isFalse |
( |
| ) |
|
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