Gringo::Output::DisjunctionState Struct Reference

#include <statements.hh>

Collaboration diagram for Gringo::Output::DisjunctionState:

Public Types
using	ElemSet = std::vector< std::pair< PredicateDomain::element_type *, ULitVec >>
using	element_type = std::pair< Value const, DisjunctionState >

Public Member Functions
	DisjunctionState ()
	DisjunctionState (unsigned generation)
void	accumulate (PredicateDomain::element_type *head, LitVec const &lits)
bool	defined () const
unsigned	generation () const
bool	fact (bool) const

Static Public Member Functions
static element_type &	ignore ()

Public Attributes
ElemSet	elems
unsigned	_generation

Member Typedef Documentation

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

using Gringo::Output::DisjunctionState::ElemSet = std::vector<std::pair<PredicateDomain::element_type *, ULitVec>>

Constructor & Destructor Documentation

Gringo::Output::DisjunctionState::DisjunctionState

(

)

Gringo::Output::DisjunctionState::DisjunctionState

(

unsigned

generation

)

Member Function Documentation

void Gringo::Output::DisjunctionState::accumulate	(	PredicateDomain::element_type *	head,
		LitVec const &	lits
	)

bool Gringo::Output::DisjunctionState::defined

(

)

const

bool Gringo::Output::DisjunctionState::fact

(

bool

)

const

unsigned Gringo::Output::DisjunctionState::generation

(

)

const

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

static

Member Data Documentation

unsigned Gringo::Output::DisjunctionState::_generation

ElemSet Gringo::Output::DisjunctionState::elems

---

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

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