Inheritance diagram for Gringo::Ground::DisjunctionDomain:

Collaboration diagram for Gringo::Ground::DisjunctionDomain:

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

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

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
	DisjunctionDomain (UTerm &&repr)

DisjunctionState &	insert (Value rep)

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

virtual void	mark ()

virtual void	unmark ()

virtual	~DisjunctionDomain ()

Public Member Functions inherited from Gringo::AbstractDomain< DisjunctionState >
	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
MarksQueue	marks

UTerm	repr

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

full_index_set	fullIndices

element_map	domain

exports_type	exports

bool	enqueued

Member Typedef Documentation

Constructor & Destructor Documentation

Gringo::Ground::DisjunctionDomain::DisjunctionDomain ( UTerm && repr )

Gringo::Ground::DisjunctionDomain::~DisjunctionDomain ( )

virtual

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

DisjunctionState & Gringo::Ground::DisjunctionDomain::insert ( Value rep )

void Gringo::Ground::DisjunctionDomain::mark ( )

virtual

void Gringo::Ground::DisjunctionDomain::unmark ( )

virtual

MarksQueue Gringo::Ground::DisjunctionDomain::marks

UTerm Gringo::Ground::DisjunctionDomain::repr

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