Ground.h File Reference

#include "ast/Argument.h"
#include "ast/Clause.h"
#include "ast/TranslationUnit.h"
#include <map>

Include dependency graph for Ground.h:

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

Go to the source code of this file.

Namespaces
	souffle
	souffle::ast
	souffle::ast::analysis

Functions
std::map< const Argument *, bool >	souffle::ast::analysis::getGroundedTerms (const TranslationUnit &tu, const Clause &clause)
	Analyse the given clause and computes for each contained argument whether it is a grounded value or not. More...