Classes | |
| class | coco::annotation_delta |
| the delta class for annotation changes More... | |
| class | coco::no_certificate |
| The not-certified certificate. More... | |
| class | coco::split_certificate |
| The certificate for deltas formed by splits. More... | |
| class | coco::compound_certificate |
| The certificate for deltas formed by compressing bound_delta entries. More... | |
| class | coco::rigorous_module_certificate |
| The certificate for deltas computed by rigorous inference engines. More... | |
| class | coco::certificate |
| The certificate class (certifies deltas for rigorous mode operation). More... | |
| class | coco::certificate_base |
| Base class for the certificates. More... | |
| class | coco::delta_get_action |
| Stored procedure class for computing the delta action specifier. More... | |
| class | coco::delta |
| The delta class (updates to work nodes). More... | |
| class | coco::delta_base |
| Base class for the deltas. More... | |
| class | coco::undelta |
| The undelta class (undo of updates to work nodes). More... | |
| class | coco::undelta_base |
| Base class for the undeltas. More... | |
| class | coco::bound_undelta |
| The bound undelta class for undoing changes to the node bounds in a model. More... | |
| class | coco::bound_delta |
| The bound delta class for changing the node bounds within a model. More... | |
| class | coco::boxes_delta |
| A delta class which adds new boxes to the search database. More... | |
| class | coco::dag_undelta |
| The DAG undelta class for undoing changes to the DAG of a model. More... | |
| class | coco::dag_delta |
| The DAG delta class for performing changes to the DAG of a model. More... | |
| class | coco::infeasible_undelta |
| The infeasible undelta class for undoing changes to the feasibility of a model. More... | |
| class | coco::infeasible_delta |
| The infeasible delta class for marking a model as infeasible. More... | |
| class | coco::point_delta |
| A delta class which adds new points to the search database. More... | |
| class | coco::semantics_undelta |
| The semantics undelta class for undoing changes to the node semantics in a model. More... | |
| class | coco::semantics_delta |
| The semantics delta class for changing the node semantics within a model. More... | |
| class | coco::split_undelta |
| The split undelta class for removing proposed splits from a work_node. More... | |
| class | coco::split_delta |
| The split delta class for proposing useful splits. More... | |
| class | coco::table_delta |
| The base class for all deltas adding information to the search database. More... | |
Typedefs | |
| typedef vdbl::rowid | coco::delta_id |
| The class for delta ids. | |
Functions | |
| std::ostream & | coco::operator<< (std::ostream &o, const certificate &t) |
| Output Operator for certificates. | |
| std::ostream & | coco::operator<< (std::ostream &o, const delta &t) |
| Output Operator for deltas. | |
| typedef vdbl::rowid coco::delta_id |
The delta_id type is essentially a vdbl::rowid pointing to a row in the deltas table of the search database.
Definition at line 46 of file api_deltabase.h.
| std::ostream& coco::operator<< | ( | std::ostream & | o, | |
| const delta & | t | |||
| ) | [inline] |
Stream output operator for deltas, which calls the get_action method of the delta.
Definition at line 137 of file api_deltabase.h.
| std::ostream& coco::operator<< | ( | std::ostream & | o, | |
| const certificate & | t | |||
| ) | [inline] |
Stream output operator for certificates, which calls the get_contents method of the certificate.
Definition at line 112 of file api_certbase.h.
1.5.8