Fix edge weight bug (#309)

afterdusk · web-flow · commit 10b74392192e · 2020-11-06T21:41:07.000+08:00
diff --git a/Team20/Code20/source/DispatcherGraph.cpp b/Team20/Code20/source/DispatcherGraph.cpp
@@ -23,7 +23,7 @@ void DispatcherGraph::addDispatcher(ClauseDispatcher *dispatcher) {
     }
     for (const auto &associatedDispatcher :
          symbolsToClauseDispatchersMap[symbol]) {
-      int weight = countCommonSymbols(dispatcher, associatedDispatcher) * 2;
+      int weight = countCommonSymbols(dispatcher, associatedDispatcher) * -2;
       adjacencyList.at(dispatcher)
           .insert(Edge{
               associatedDispatcher,

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ void DispatcherGraph::addDispatcher(ClauseDispatcher *dispatcher) {`
`23`	`23`	`}`
`24`	`24`	`for (const auto &associatedDispatcher :`
`25`	`25`	`symbolsToClauseDispatchersMap[symbol]) {`
`26`		`- int weight = countCommonSymbols(dispatcher, associatedDispatcher) * 2;`
	`26`	`+ int weight = countCommonSymbols(dispatcher, associatedDispatcher) * -2;`
`27`	`27`	`adjacencyList.at(dispatcher)`
`28`	`28`	`.insert(Edge{`
`29`	`29`	`associatedDispatcher,`