Fixed mistake

manta1130 · manta1130 · commit dbacf02239c8 · 2020-09-12T08:47:07.000+09:00
diff --git a/src/twosat.rs b/src/twosat.rs
@@ -18,7 +18,7 @@ impl TwoSAT {
         self.scc
             .add_edge(2 * i + if f { 0 } else { 1 }, 2 * j + if g { 1 } else { 0 });
         self.scc
-            .add_edge(2 * j + if f { 0 } else { 1 }, 2 * i + if g { 1 } else { 0 });
+            .add_edge(2 * j + if g { 0 } else { 1 }, 2 * i + if f { 1 } else { 0 });
     }
     pub fn satisfiable(&mut self) -> bool {
         let id = self.scc.scc_ids().1;

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,7 @@ impl TwoSAT {`
`18`	`18`	`self.scc`
`19`	`19`	`.add_edge(2 * i + if f { 0 } else { 1 }, 2 * j + if g { 1 } else { 0 });`
`20`	`20`	`self.scc`
`21`		`- .add_edge(2 * j + if f { 0 } else { 1 }, 2 * i + if g { 1 } else { 0 });`
	`21`	`+ .add_edge(2 * j + if g { 0 } else { 1 }, 2 * i + if f { 1 } else { 0 });`
`22`	`22`	`}`
`23`	`23`	`pub fn satisfiable(&mut self) -> bool {`
`24`	`24`	`let id = self.scc.scc_ids().1;`