coco::no_certificate Class Reference
[Deltas]

The not-certified certificate. More...

#include <api_cert.h>

Inheritance diagram for coco::no_certificate:

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

Collaboration graph
[legend]

List of all members.

Public Member Functions

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

Protected Attributes

std::string _contents


Detailed Description

The empty certificate for inference engines, which do not produce certificates!

Definition at line 84 of file api_cert.h.


Constructor & Destructor Documentation

coco::no_certificate::no_certificate (  )  [inline]

Standard Constructor

Definition at line 88 of file api_cert.h.

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

Standard Copy Constructor

Definition at line 90 of file api_cert.h.

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

Standard Destructor

Definition at line 98 of file api_cert.h.


Member Function Documentation

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

Clone Destructor

Definition at line 109 of file api_cert.h.

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

Retrieve the contents information (the certificate type) for this certificate.

Reimplemented in coco::split_certificate, and coco::rigorous_module_certificate.

Definition at line 165 of file api_certbase.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.

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

Clone Operation

Reimplemented from coco::certificate_base.

Definition at line 101 of file api_cert.h.

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

Definition at line 126 of file api_cert.h.

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

Definition at line 120 of file api_cert.h.

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

Comparison operators

Definition at line 125 of file api_cert.h.

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

Comparison operators

Definition at line 117 of file api_cert.h.

bool coco::no_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: false.

Reimplemented from coco::certificate_base.

Definition at line 114 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:42 2010 for COCONUT API by  doxygen 1.5.8