#include <domain.hh>

Inheritance diagram for Gringo::PredicateDomain:

Collaboration diagram for Gringo::PredicateDomain:

Public Types
using	marks_queue = std::deque< unsigned >

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

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
std::tuple< element_type *, bool, bool >	insert (Value x, bool fact)

void	insert (element_type &x)

virtual void	doClear ()

virtual void	mark ()

virtual void	unmark ()

virtual	~PredicateDomain ()

Public Member Functions inherited from Gringo::AbstractDomain< AtomState >
	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	~AbstractDomain ()

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

Public Attributes
marks_queue	marks

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

full_index_set	fullIndices

element_map	domain

exports_type	exports

bool	enqueued