Fawkes API  Fawkes Development Version
fawkes::EclExternalConfig Class Reference

Wrapper class for using the config in the implementation of the external predicates. More...

Public Member Functions

 ~EclExternalConfig ()
 Destructor. More...
 

Static Public Member Functions

static void create_initial_object (Configuration *config)
 Creates the initial EclExternalConfig object. More...
 
static EclExternalConfiginstance ()
 Get the EclExternalConfig instance. More...
 
static Configurationconfig_instance ()
 Access the Configuration instance. More...
 

Detailed Description

Wrapper class for using the config in the implementation of the external predicates.

Author
Gesche Gierse

Definition at line 26 of file eclipseclp_config.h.

Constructor & Destructor Documentation

◆ ~EclExternalConfig()

fawkes::EclExternalConfig::~EclExternalConfig ( )

Destructor.

Definition at line 60 of file eclipseclp_config.cpp.

Member Function Documentation

◆ config_instance()

◆ create_initial_object()

void fawkes::EclExternalConfig::create_initial_object ( Configuration bb)
static

Creates the initial EclExternalConfig object.

Parameters
bbpointer to the Configuration to be used

Definition at line 68 of file eclipseclp_config.cpp.

Referenced by EclipseAgentThread::init().

◆ instance()

EclExternalConfig * fawkes::EclExternalConfig::instance ( )
static

Get the EclExternalConfig instance.

Returns
the instance

Definition at line 76 of file eclipseclp_config.cpp.

Referenced by config_instance().


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