aggregate_helper.hh File Reference

#include "tests/tests.hh"
#include "gringo/input/aggregates.hh"

Include dependency graph for aggregate_helper.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	Gringo
	Gringo::Input
	Gringo::Input::Test

Functions
template<class... T>
BoundVec	Gringo::Input::Test::boundvec (T &&...args)
template<class... T>
CondLitVec	Gringo::Input::Test::condlitvec (T &&...args)
template<class... T>
BodyAggrElemVec	Gringo::Input::Test::bdelemvec (T &&...args)
template<class... T>
HeadAggrElemVec	Gringo::Input::Test::hdelemvec (T &&...args)
UBodyAggr	Gringo::Input::Test::bdaggr (NAF naf, AggregateFunction fun, BoundVec &&bounds, BodyAggrElemVec &&elems)
UBodyAggr	Gringo::Input::Test::bdaggr (NAF naf, AggregateFunction fun, BoundVec &&bounds, CondLitVec &&elems)
UBodyAggr	Gringo::Input::Test::bdaggr (ULit &&lit, ULitVec &&cond)
UHeadAggr	Gringo::Input::Test::hdaggr (AggregateFunction fun, BoundVec &&bounds, HeadAggrElemVec &&elems)
UHeadAggr	Gringo::Input::Test::hdaggr (AggregateFunction fun, BoundVec &&bounds, CondLitVec &&elems)
UHeadAggr	Gringo::Input::Test::hdaggr (CondLitVec &&elems)