#include <path.h>
Public Methods | |
PathDB () | |
const Path * | intern (const Path *con) |
const Path * | lookup (const Path *con) |
void | stats () |
void | print (ostream &o) const |
Static Public Methods | |
bool | equals (const Path *one, const Path *two) |
bool | dominates (const Path *dom, const Path *cur) |
bool | strictly_dominates (const Path *dom, const Path *cur) |
Private Attributes | |
path_map | _paths |
Friends | |
ostream & | operator<< (ostream &o, const PathDB &cdb) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|