literals.cc File Reference

#include <gringo/output/statements.hh>
#include <gringo/output/lparseoutputter.hh>
#include <gringo/logger.hh>

Include dependency graph for literals.cc:

Namespaces
	Gringo
	Gringo::Output

Functions
std::ostream &	Gringo::Output::operator<< (std::ostream &out, AuxAtom const &x)
int	Gringo::Output::clamp (int64_t x)
bool	Gringo::Output::neutral (ValVec const &tuple, AggregateFunction fun, Location const &loc)
int	Gringo::Output::toInt (IntervalSet< Value >::LBound const &x)
int	Gringo::Output::toInt (IntervalSet< Value >::RBound const &x)
Value	Gringo::Output::getWeight (AggregateFunction fun, FWValVec const &x)