Fawkes API  Fawkes Development Version
fawkes::EclExternalConfig Class Reference

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 30 of file eclipseclp_config.h.

Constructor & Destructor Documentation

◆ ~EclExternalConfig()

fawkes::EclExternalConfig::~EclExternalConfig ( )

Destructor.

Definition at line 68 of file eclipseclp_config.cpp.

Member Function Documentation

◆ config_instance()

Configuration * fawkes::EclExternalConfig::config_instance ( )
static

Access the Configuration instance.

Returns
the config instance

Definition at line 100 of file eclipseclp_config.cpp.

◆ 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 78 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 87 of file eclipseclp_config.cpp.


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