literals.hh File Reference

#include <gringo/terms.hh>
#include <gringo/ground/literal.hh>
#include <gringo/output/literals.hh>

Include dependency graph for literals.hh:

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

Go to the source code of this file.

Classes
struct	Gringo::Ground::RangeLiteral
struct	Gringo::Ground::ScriptLiteral
struct	Gringo::Ground::RelationLiteral
struct	Gringo::Ground::PredicateLiteral
struct	Gringo::Ground::ProjectionLiteral
struct	Gringo::Ground::ExternalBodyOcc
struct	Gringo::Ground::CSPLiteral

Namespaces
	Gringo
	Gringo::Ground

Typedefs
using	Gringo::Ground::RangeLiteralShared = std::pair< UTerm, UTerm >
using	Gringo::Ground::ScriptLiteralShared = std::pair< FWString, UTermVec >
using	Gringo::Ground::RelationShared = std::tuple< Relation, UTerm, UTerm >
using	Gringo::Ground::CSPLiteralShared = std::tuple< Relation, CSPAddTerm, CSPAddTerm >

Functions
double	Gringo::Ground::estimate (unsigned size, Term const &term, Term::VarSet const &bound)