Transformers: Fix the comment describing NodeEliminator

usi-verification-and-security · Jan 11, 2023 · 2a541cb · 2a541cb
1 parent 61aae2d
commit 2a541cb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/transformers/NodeEliminator.h b/src/transformers/NodeEliminator.h
@@ -9,10 +9,10 @@
 
 #include "Transformer.h"
 
-
-
 /*
- * Tries to eliminate all nodes that do not have a self-loop edge
+ * Transformation pass that eliminates some nodes from the graph, using contraction.
+ *
+ * The predicate determining the nodes to eliminate is passed to the constructor.
  */
 class NodeEliminator : public Transformer {
     using predicate_t = std::function<bool(SymRef,AdjacencyListsGraphRepresentation const &, ChcDirectedHyperGraph const &)>;