#include <algorithm>
#include <iterator>
#include <set>
#include <unordered_set>
#include "conact_tree.h"
#include "drag_statistics.h"
#include "collect_drag_stats.h"
#include "output_generator.h"
#include "remove_equal_subtrees.h"
#include "forest2dag.h"
#include "forest_statistics.h"
#include "graph_code_generator.h"
Go to the source code of this file.
◆ DragCompressorFlags
This enum class defines the available flags for the DragCompression class.
Enumerator |
---|
NONE | No flags.
|
PRINT_STATUS_BAR | Whether to print a sort of progress bar or not.
|
IGNORE_LEAVES | Whether to ignore leaves or not during the compression. Please note that compressing the leaves will significantly increase the total execution time without improving the final compression result in anyway.
|
SAVE_INTERMEDIATE_RESULTS | Whether to delete or not the dot code used to draw the drag.
|
Definition at line 229 of file drag_compressor.h.
◆ operator&()
◆ operator|()