Gringo::Test::TestTerm Class Reference

Inheritance diagram for Gringo::Test::TestTerm:

Collaboration diagram for Gringo::Test::TestTerm:

Public Member Functions
virtual void	setUp ()
virtual void	tearDown ()
void	test_hash ()
void	test_equal ()
void	test_eval ()
void	test_rewriteArithmetics ()
void	test_rewriteDots ()
void	test_unpool ()
void	test_simplify ()
void	test_rewrite ()
void	test_undefined ()
void	test_project ()
void	test_match ()
virtual	~TestTerm ()

Public Attributes
std::vector< std::string >	messages
std::unique_ptr< MessagePrinter >	oldPrinter

Constructor & Destructor Documentation

Gringo::Test::TestTerm::~TestTerm ( )

virtual

Member Function Documentation

void Gringo::Test::TestTerm::setUp ( )

virtual

Here is the call graph for this function:

void Gringo::Test::TestTerm::tearDown ( )

virtual

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_equal

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_eval

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_hash

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_match

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_project

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_rewrite

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_rewriteArithmetics

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_rewriteDots

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_simplify

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_undefined

(

)

Here is the call graph for this function:

void Gringo::Test::TestTerm::test_unpool

(

)

Here is the call graph for this function:

Member Data Documentation

std::vector<std::string> Gringo::Test::TestTerm::messages

std::unique_ptr<MessagePrinter> Gringo::Test::TestTerm::oldPrinter

---

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

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