Inheritance diagram for Gringo::Ground::ConjunctionDomain:

Collaboration diagram for Gringo::Ground::ConjunctionDomain:

Public Types
using	UConjHd = std::unique_ptr< ConjunctionHead >

Public Types inherited from Gringo::AbstractDomain< ConjunctionState >
using	element_map = std::unordered_map< Value, ConjunctionState >

using	element_type = typename element_map::value_type

using	bind_index_type = BindIndex< element_type >

using	full_index_type = FullIndex< element_type >

using	exports_type = typename bind_index_type::exports_type

using	element_vec = typename exports_type::element_vec

using	bind_index_set = std::unordered_set< bind_index_type, call_hash< bind_index_type >>

using	full_index_set = std::unordered_set< full_index_type, call_hash< full_index_type >>

Public Member Functions
	ConjunctionDomain (UTerm &&domRepr, PredicateDomain predDom, UTerm &&predRep, PredicateDomain headDom, UTerm &&headRep, ULitVec &&lits)

virtual void	mark ()

virtual void	unmark ()

void	insert ()

void	unblock (bool fact)

void	insertEmpty ()

virtual	~ConjunctionDomain ()

Public Member Functions inherited from Gringo::AbstractDomain< ConjunctionState >
	AbstractDomain ()

	AbstractDomain (AbstractDomain const &)=delete

	AbstractDomain (AbstractDomain &&)=delete

void	init ()

virtual element_type &	reserve (Value x)

bind_index_type &	add (SValVec &&bound, UTerm &&repr)

full_index_type &	add (UTerm &&repr, unsigned imported)

element_type *	lookup (Term const &repr, RECNAF naf)

element_type *	lookup (Term const &repr, BinderType type)

bool	check (Term const &repr, unsigned &imported)

void	clear ()

virtual void	setEnqueued (bool x)

virtual bool	isEnqueued () const

virtual bool	expire ()

virtual void	doClear ()

virtual	~AbstractDomain ()

Public Member Functions inherited from Gringo::Domain
virtual	~Domain ()

Public Attributes
UTerm	rep

UConjHd	head

ULitVec	lits

unsigned	numBlocked = 0

unsigned	blocked = 0

unsigned	marks = 0

Public Attributes inherited from Gringo::AbstractDomain< ConjunctionState >
bind_index_set	indices

full_index_set	fullIndices

element_map	domain

exports_type	exports

bool	enqueued

Member Typedef Documentation

Constructor & Destructor Documentation

Gringo::Ground::ConjunctionDomain::ConjunctionDomain	(	UTerm &&	domRepr,
		PredicateDomain *	predDom,
		UTerm &&	predRep,
		PredicateDomain *	headDom,
		UTerm &&	headRep,
		ULitVec &&	lits
	)

Gringo::Ground::ConjunctionDomain::~ConjunctionDomain ( )

virtual

void Gringo::Ground::ConjunctionDomain::insert ( )

void Gringo::Ground::ConjunctionDomain::insertEmpty ( )

void Gringo::Ground::ConjunctionDomain::mark ( )

virtual

void Gringo::Ground::ConjunctionDomain::unblock ( bool fact )

void Gringo::Ground::ConjunctionDomain::unmark ( )

virtual

unsigned Gringo::Ground::ConjunctionDomain::blocked = 0

UConjHd Gringo::Ground::ConjunctionDomain::head

ULitVec Gringo::Ground::ConjunctionDomain::lits

unsigned Gringo::Ground::ConjunctionDomain::marks = 0

unsigned Gringo::Ground::ConjunctionDomain::numBlocked = 0

UTerm Gringo::Ground::ConjunctionDomain::rep

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

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