coco::rigorous_module_certificate Class Reference
[Deltas]

The certificate for deltas computed by rigorous inference engines. More...

#include <api_cert.h>

Inheritance diagram for coco::rigorous_module_certificate:

Inheritance graph
[legend]
Collaboration diagram for coco::rigorous_module_certificate:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 rigorous_module_certificate (const std::string &_name)
 rigorous_module_certificate (const rigorous_module_certificate &__c)
virtual ~rigorous_module_certificate ()
rigorous_module_certificatenew_copy () const
void destroy_copy (certificate_base *__c) const
bool verify (const work_node &_x) const
std::string get_contents () const
bool operator== (const certificate_base &_c) const
bool operator!= (const certificate_base &_c) const
bool operator== (const rigorous_module_certificate &_c) const
bool operator!= (const rigorous_module_certificate &_c) const
certificate make_certificate (const std::string &c)

Protected Attributes

std::string _contents


Detailed Description

The rigorous module certificate for inference engines, which do not produce certificates but rather always work in a rigorous mode!

Definition at line 262 of file api_cert.h.


Constructor & Destructor Documentation

coco::rigorous_module_certificate::rigorous_module_certificate ( const std::string &  _name  )  [inline]

Constructor with parameter _name specifying the module_name

Definition at line 270 of file api_cert.h.

coco::rigorous_module_certificate::rigorous_module_certificate ( const rigorous_module_certificate __c  )  [inline]

Standard Copy Constructor

Definition at line 273 of file api_cert.h.

virtual coco::rigorous_module_certificate::~rigorous_module_certificate (  )  [inline, virtual]

Standard Destructor

Definition at line 282 of file api_cert.h.


Member Function Documentation

void coco::rigorous_module_certificate::destroy_copy ( certificate_base __c  )  const [inline]

Clone Destructor

Definition at line 293 of file api_cert.h.

std::string coco::rigorous_module_certificate::get_contents (  )  const [inline, virtual]

Retrieve the contents information (the certificate type) for this certificate. This method includes the module_name in the return value.

Reimplemented from coco::certificate_base.

Definition at line 303 of file api_cert.h.

certificate coco::certificate_base::make_certificate ( const std::string &  c  )  [inline, inherited]

Construct a certificate from this certificate_base with the contents c.

Definition at line 156 of file api_certbase.h.

rigorous_module_certificate* coco::rigorous_module_certificate::new_copy (  )  const [inline, virtual]

Clone Operation

Reimplemented from coco::certificate_base.

Definition at line 285 of file api_cert.h.

bool coco::rigorous_module_certificate::operator!= ( const rigorous_module_certificate _c  )  const [inline]

Definition at line 317 of file api_cert.h.

bool coco::rigorous_module_certificate::operator!= ( const certificate_base _c  )  const [inline]

Definition at line 310 of file api_cert.h.

bool coco::rigorous_module_certificate::operator== ( const rigorous_module_certificate _c  )  const [inline]

Comparison operators

Definition at line 315 of file api_cert.h.

bool coco::rigorous_module_certificate::operator== ( const certificate_base _c  )  const [inline]

Comparison operators

Definition at line 307 of file api_cert.h.

bool coco::rigorous_module_certificate::verify ( const work_node _x  )  const [inline, virtual]

Verification Test: Verify whether the certificate verifies the corresponding delta for work_node _x. In this class: true.

Reimplemented from coco::certificate_base.

Definition at line 298 of file api_cert.h.


Member Data Documentation

std::string coco::certificate_base::_contents [protected, inherited]

The contents (descriptive string, type) of this certificate

Definition at line 128 of file api_certbase.h.


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

Generated on Tue Feb 9 14:47:44 2010 for COCONUT API by  doxygen 1.5.8