Gringo::Output::ConjunctionState Struct Reference

#include <literals.hh>

Collaboration diagram for Gringo::Output::ConjunctionState:

Public Types
using	element_type = std::pair< Value const, ConjunctionState >
using	Elem = ConjunctionElem
using	ElemSet = unique_list< Elem, identity< Elem >, call_hash< Elem >>
using	BlockSet = std::unordered_set< Value >

Public Member Functions
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
BlockSet	blocked
ElemSet	elems
SAuxAtom	bdLit
bool	_fact = true
unsigned	_generation = 0

Member Typedef Documentation

using Gringo::Output::ConjunctionState::BlockSet = std::unordered_set<Value>

using Gringo::Output::ConjunctionState::Elem = ConjunctionElem

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

using Gringo::Output::ConjunctionState::ElemSet = unique_list<Elem, identity<Elem>, call_hash<Elem>>

Member Function Documentation

bool Gringo::Output::ConjunctionState::defined

(

)

const

bool Gringo::Output::ConjunctionState::fact

(

bool

recursive

)

const

unsigned Gringo::Output::ConjunctionState::generation

(

)

const

void Gringo::Output::ConjunctionState::generation

(

unsigned

x

)

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

static

bool Gringo::Output::ConjunctionState::isFalse

(

)

Member Data Documentation

bool Gringo::Output::ConjunctionState::_fact = true

unsigned Gringo::Output::ConjunctionState::_generation = 0

SAuxAtom Gringo::Output::ConjunctionState::bdLit

BlockSet Gringo::Output::ConjunctionState::blocked

ElemSet Gringo::Output::ConjunctionState::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