instantiation.cc File Reference

#include <gringo/ground/instantiation.hh>
#include <gringo/output/output.hh>

Include dependency graph for instantiation.cc:

Namespaces
	Gringo
	Gringo::Ground