Inheritance diagram for Gringo::Ground::BodyAggregateDomain:

Collaboration diagram for Gringo::Ground::BodyAggregateDomain:

Public Member Functions
	BodyAggregateDomain (UTerm &&repr, BoundVec &&bounds, AggregateFunction fun)

void	insert (Value const &repr, ValVec const &tuple, Output::LitVec const &cond, Location const &loc)

virtual BodyAggregateDomain::element_type &	reserve (Value x)

virtual void	mark ()

virtual void	unmark ()

virtual	~BodyAggregateDomain ()

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

	AbstractDomain (AbstractDomain const &)=delete

	AbstractDomain (AbstractDomain &&)=delete

void	init ()

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	repr

Location const *	loc

BoundVec	bounds

AggregateFunction	fun

unsigned	numBlocked = 0

unsigned	blocked = 0

unsigned	marks = 0

bool	positive = true

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

full_index_set	fullIndices

element_map	domain

exports_type	exports

bool	enqueued

Additional Inherited Members
Public Types inherited from Gringo::AbstractDomain< BodyAggregateState >
using	element_map = std::unordered_map< Value, BodyAggregateState >

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 >>

Constructor & Destructor Documentation

Gringo::Ground::BodyAggregateDomain::BodyAggregateDomain	(	UTerm &&	repr,
		BoundVec &&	bounds,
		AggregateFunction	fun
	)

Gringo::Ground::BodyAggregateDomain::~BodyAggregateDomain ( )

virtual

Member Function Documentation

void Gringo::Ground::BodyAggregateDomain::insert	(	Value const &	repr,
		ValVec const &	tuple,
		Output::LitVec const &	cond,
		Location const &	loc
	)

Here is the call graph for this function:

void Gringo::Ground::BodyAggregateDomain::mark ( )

virtual

BodyAggregateDomain::element_type & Gringo::Ground::BodyAggregateDomain::reserve ( Value x )

virtual

Here is the call graph for this function:

void Gringo::Ground::BodyAggregateDomain::unmark ( )

virtual

unsigned Gringo::Ground::BodyAggregateDomain::blocked = 0

BoundVec Gringo::Ground::BodyAggregateDomain::bounds

AggregateFunction Gringo::Ground::BodyAggregateDomain::fun

Location const* Gringo::Ground::BodyAggregateDomain::loc

unsigned Gringo::Ground::BodyAggregateDomain::marks = 0

unsigned Gringo::Ground::BodyAggregateDomain::numBlocked = 0

bool Gringo::Ground::BodyAggregateDomain::positive = true

UTerm Gringo::Ground::BodyAggregateDomain::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