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

Constructor & Destructor Documentation

◆ ~EclExternalConfig()

fawkes::EclExternalConfig::~EclExternalConfig ( )

Destructor.

Definition at line 66 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 98 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 76 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 85 of file eclipseclp_config.cpp.


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