bwi_krexec::StaticFacts Struct Reference

#include <StaticFacts.h>

List of all members.

Static Public Member Functions
static void	retrieveStaticFacts (actasp::AspKR *reasoner, const std::string &domain_directory)
static std::list< actasp::AspAtom >	staticFacts ()
Static Private Attributes
static std::list< actasp::AspAtom >	static_facts

---

Detailed Description

Definition at line 11 of file StaticFacts.h.

---

Member Function Documentation

void bwi_krexec::StaticFacts::retrieveStaticFacts	(	actasp::AspKR *	reasoner,
		const std::string &	domain_directory
	)		[static]

Definition at line 15 of file StaticFacts.cpp.

std::list< actasp::AspAtom > bwi_krexec::StaticFacts::staticFacts

(

)

[static]

Definition at line 44 of file StaticFacts.cpp.

---

Member Data Documentation

std::list< actasp::AspAtom > bwi_krexec::StaticFacts::static_facts [static, private]

Definition at line 18 of file StaticFacts.h.

---

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

• StaticFacts.h
• StaticFacts.cpp