safetycheck.cc File Reference

#include "gringo/safetycheck.hh"
#include "tests/tests.hh"
#include "tests/term_helper.hh"
#include <map>

Include dependency graph for safetycheck.cc:

Classes
class	Gringo::Test::TestSafetyCheck

Namespaces
	Gringo
	Gringo::Test

Functions
	Gringo::Test::CPPUNIT_TEST_SUITE_REGISTRATION (TestSafetyCheck)