solve a bug in code caused by vscode hotkey after 3 years

Catoverflow · Catoverflow · commit 71e289e560f2 · 2025-04-01T17:31:01.000-05:00
diff --git a/ROBDD.cpp b/ROBDD.cpp
@@ -51,12 +51,8 @@ BDD_node *ROBDD::make_node(unsigned int ID, BDD_node *low, BDD_node *high)
         this->node_table[*new_node] = new_node;
         return new_node;
     }
-}void ROBDD::set_root(BDD_node *node)
-{
-    this->root = node;
 }
 
-
 BDD_node *ROBDD::calc(binary_op op, BDD_node *left, BDD_node *right)
 {
     switch (op)

Original file line number	Diff line number	Diff line change
`@@ -51,12 +51,8 @@ BDD_node ROBDD::make_node(unsigned int ID, BDD_node low, BDD_node *high)`
`51`	`51`	`this->node_table[*new_node] = new_node;`
`52`	`52`	`return new_node;`
`53`	`53`	`}`
`54`		`-}void ROBDD::set_root(BDD_node *node)`
`55`		`-{`
`56`		`- this->root = node;`
`57`	`54`	`}`
`58`	`55`
`59`		`-`
`60`	`56`	`BDD_node ROBDD::calc(binary_op op, BDD_node left, BDD_node *right)`
`61`	`57`	`{`
`62`	`58`	`switch (op)`