Fawkes API Fawkes Development Version
BlocksworldDomainTest Class Reference

Test with the blocksworld domain. More...

Inheritance diagram for BlocksworldDomainTest:

Protected Member Functions

virtual void SetUp ()
 Set up the test environment. More...
 
virtual void SetUp ()
 Set up the test environment. More...
 
virtual void SetUp ()
 Set up the test environment. More...
 
virtual void SetUp ()
 Set up the test environment. More...
 
- Protected Member Functions inherited from CLIPSTest
virtual void LoadCLIPSFiles (std::vector< std::string > files)
 Load the vector of CLIPS files into the environment. More...
 
bool has_fact (const std::string &fact_set_template, const std::string &query="TRUE")
 Check if a non-ordered fact exists. More...
 
bool has_ordered_fact (const std::string &fact_name, const std::vector< CLIPS::Value > slot_values={})
 Check if an ordered fact exists. More...
 
virtual void LoadCLIPSFiles (std::vector< std::string > files)
 Load the vector of CLIPS files into the environment. More...
 
bool has_fact (const std::string &fact_set_template, const std::string &query="TRUE")
 Check if a non-ordered fact exists. More...
 
bool has_ordered_fact (const std::string &fact_name, const std::vector< CLIPS::Value > slot_values={})
 Check if an ordered fact exists. More...
 

Additional Inherited Members

- Protected Attributes inherited from DomainTest
vector< string > clips_files = {"../../../clips/clips/utils.clp", "../plan.clp", "../domain.clp"}
 These files are loaded during setup by default. More...
 
- Protected Attributes inherited from CLIPSTest
CLIPS::Environment env
 The default CLIPS environment used to run tests. More...
 

Detailed Description

Test with the blocksworld domain.

Definition at line 49 of file test_domain.cpp.

Member Function Documentation

◆ SetUp() [1/2]

virtual void BlocksworldDomainTest::SetUp ( )
inlineprotectedvirtual

Set up the test environment.

Reimplemented from DomainTest.

Definition at line 54 of file test_domain.cpp.

References DomainTest::clips_files, and DomainTest::SetUp().

◆ SetUp() [2/2]

virtual void BlocksworldDomainTest::SetUp ( )
inlineprotectedvirtual

Set up the test environment.

Reimplemented from DomainTest.

Definition at line 54 of file test_domain.cpp.

References DomainTest::clips_files, and DomainTest::SetUp().


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