program.cc File Reference

#include "gringo/ground/program.hh"
#include "gringo/input/nongroundparser.hh"
#include "gringo/input/program.hh"
#include "gringo/output/output.hh"
#include "gringo/scripts.hh"
#include "tests/tests.hh"

Include dependency graph for program.cc:

Classes
class	Gringo::Ground::Test::TestProgram

Namespaces
	Gringo
	Gringo::Ground
	Gringo::Ground::Test

Functions
	Gringo::Ground::Test::CPPUNIT_TEST_SUITE_REGISTRATION (TestProgram)