Loading...
Searching...
No Matches
dejavu.h File Reference
#include <utility>#include <string>#include "dfs.h"#include "bfs.h"#include "rand.h"#include "preprocess.h"#include "inprocess.h"#include "components.h"
Include dependency graph for dejavu.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | dejavu::hooks::hook_interface |
| class | dejavu::hooks::multi_hook |
| Calls several other hooks. More... | |
| class | dejavu::hooks::ostream_hook |
| Writes to an ostream. More... | |
| class | dejavu::hooks::strong_certification_hook |
| Certification on the original graph. More... | |
| class | dejavu::hooks::schreier_hook |
| Hook to feed a Schreier structure. More... | |
| class | dejavu::hooks::orbit_hook |
| Hook to feed an orbit structure. More... | |
| class | dejavu::solver |
| The dejavu solver. More... | |
Namespaces | |
| namespace | dejavu |
| namespace | dejavu::hooks |
| A collection of dejavu hooks. | |
Macros | |
| #define | DEJAVU_VERSION_MAJOR 2 |
| #define | DEJAVU_VERSION_MINOR 0 |
| #define | DEJAVU_VERSION_IS_PREVIEW true |
