Static Public Member Functions | Static Private Attributes
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::AspAtomstaticFacts ()

Static Private Attributes

static std::list< actasp::AspAtomstatic_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.

Definition at line 44 of file StaticFacts.cpp.


Member Data Documentation

Definition at line 18 of file StaticFacts.h.


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


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37