Gringo::Test::TestSafetyCheck Class Reference

Inheritance diagram for Gringo::Test::TestSafetyCheck:

Collaboration diagram for Gringo::Test::TestSafetyCheck:

Public Member Functions
virtual void	setUp ()
virtual void	tearDown ()
void	test_safety ()
virtual	~TestSafetyCheck ()

Constructor & Destructor Documentation

Gringo::Test::TestSafetyCheck::~TestSafetyCheck ( )

virtual

Member Function Documentation

void Gringo::Test::TestSafetyCheck::setUp ( )

virtual

void Gringo::Test::TestSafetyCheck::tearDown ( )

virtual

void Gringo::Test::TestSafetyCheck::test_safety

(

)

---

The documentation for this class was generated from the following file:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/tests/safetycheck.cc