Changed if expression into explicit type conversion (bool -> usize).

manta1130 · manta1130 · commit cac3df718f8f · 2020-09-13T00:11:14.000+09:00
diff --git a/src/twosat.rs b/src/twosat.rs
@@ -15,10 +15,8 @@ impl TwoSat {
     }
     pub fn add_clause(&mut self, i: usize, f: bool, j: usize, g: bool) {
         assert!(i < self.n && j < self.n);
-        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 g { 0 } else { 1 }, 2 * i + if f { 1 } else { 0 });
+        self.scc.add_edge(2 * i + !f as usize, 2 * j + g as usize);
+        self.scc.add_edge(2 * j + !g as usize, 2 * i + f as usize);
     }
     pub fn satisfiable(&mut self) -> bool {
         let id = self.scc.scc_ids().1;

Original file line number	Diff line number	Diff line change
`@@ -15,10 +15,8 @@ impl TwoSat {`
`15`	`15`	`}`
`16`	`16`	`pub fn add_clause(&mut self, i: usize, f: bool, j: usize, g: bool) {`
`17`	`17`	`assert!(i < self.n && j < self.n);`
`18`		`- self.scc`
`19`		`- .add_edge(2 * i + if f { 0 } else { 1 }, 2 * j + if g { 1 } else { 0 });`
`20`		`- self.scc`
`21`		`- .add_edge(2 * j + if g { 0 } else { 1 }, 2 * i + if f { 1 } else { 0 });`
	`18`	`+ self.scc.add_edge(2 * i + !f as usize, 2 * j + g as usize);`
	`19`	`+ self.scc.add_edge(2 * j + !g as usize, 2 * i + f as usize);`
`22`	`20`	`}`
`23`	`21`	`pub fn satisfiable(&mut self) -> bool {`
`24`	`22`	`let id = self.scc.scc_ids().1;`