Commit ddb4dd6
committed
Remove Morgan number overhead from MCS thread
Morgan invariant computation in MCSThread added ~12s overhead per
test suite run without measurable benefit — SMSD's VF2/MCSPlus
algorithms don't use the MorganNumber atom property internally.
Morgan-based MCS pruning should be implemented in the SMSD library
(AtomMatcher) where it can directly constrain the compatibility graph.
Removed from RDT to keep mapping fast.1 parent a09b8cd commit ddb4dd6
1 file changed
Lines changed: 0 additions & 4 deletions
Lines changed: 0 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
309 | 309 | | |
310 | 310 | | |
311 | 311 | | |
312 | | - | |
313 | | - | |
314 | | - | |
315 | | - | |
316 | 312 | | |
317 | 313 | | |
318 | 314 | | |
| |||
0 commit comments