(a: Node, b: Node)
| 116 | |
| 117 | impl ComparisonResult { |
| 118 | fn from_a_b(a: Node, b: Node) -> Result<Self> { |
| 119 | let graph = a.get_graph(); |
| 120 | let one = graph.ones(scalar_type(BIT))?; |
| 121 | |
| 122 | let a_equal_b = a.add(b)?.add(one)?; |
| 123 | Ok(Self { a_equal_b, a }) |
| 124 | } |
| 125 | |
| 126 | /// `rhs` has higher priority. So if `rhs.a_is_smaller` or `rhs.b_is_smaller` |
| 127 | /// is set to 1 for a specific position, this value is used. Otherwise, values |
nothing calls this directly
no test coverage detected