Added SCC algorithm selection

Kalashnikovni · Kalashnikovni · commit 66d66ab3cc54 · 2026-04-08T15:13:06.000-03:00
diff --git a/eval/input_translator.cpp b/eval/input_translator.cpp
@@ -47,10 +47,10 @@ void InputTranslator::translate(EvalUserInput& input)
     setPWFactory(*pw);
   }
 
-  //EvalUserInput::MaybeInt scc = input.scc_impl();
-  //if (scc) {
-  //  setSCCFactory(*scc);
-  //}
+  EvalUserInput::MaybeInt scc = input.scc_impl();
+  if (scc) {
+    setSCCFactory(*scc);
+  }
 }
 
 } // namespace detail

Original file line number	Diff line number	Diff line change
`@@ -47,10 +47,10 @@ void InputTranslator::translate(EvalUserInput& input)`
`47`	`47`	`setPWFactory(*pw);`
`48`	`48`	`}`
`49`	`49`
`50`		`- //EvalUserInput::MaybeInt scc = input.scc_impl();`
`51`		`- //if (scc) {`
`52`		`- // setSCCFactory(*scc);`
`53`		`- //}`
	`50`	`+ EvalUserInput::MaybeInt scc = input.scc_impl();`
	`51`	`+ if (scc) {`
	`52`	`+ setSCCFactory(*scc);`
	`53`	`+ }`
`54`	`54`	`}`
`55`	`55`
`56`	`56`	`} // namespace detail`