Gringo::Output::DisjointState Struct Reference

#include <literals.hh>

Collaboration diagram for Gringo::Output::DisjointState:

Public Types
using	element_type = std::pair< Value const, DisjointState >

Public Member Functions
bool	fact (bool recursive) const
unsigned	generation () const
void	generation (unsigned x)
bool	isFalse ()
bool	defined () const
	~DisjointState ()

Static Public Member Functions
static element_type &	ignore ()

Public Attributes
DisjointElemSet	elems
unsigned	_generation = 0

Member Typedef Documentation

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

Constructor & Destructor Documentation

Gringo::Output::DisjointState::~DisjointState

(

)

Member Function Documentation

bool Gringo::Output::DisjointState::defined

(

)

const

bool Gringo::Output::DisjointState::fact

(

bool

recursive

)

const

Here is the call graph for this function:

unsigned Gringo::Output::DisjointState::generation

(

)

const

void Gringo::Output::DisjointState::generation

(

unsigned

x

)

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

static

bool Gringo::Output::DisjointState::isFalse

(

)

Member Data Documentation

unsigned Gringo::Output::DisjointState::_generation = 0

DisjointElemSet Gringo::Output::DisjointState::elems

---

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