Skip to content
Commit d832fc03 authored by Zhiqiang Zang's avatar Zhiqiang Zang
Browse files

Convert c-(~x) into x+(c+1) in SubNode and convert ~(c-x) into x+(-c-1) in XorNode.

parent 2f48a3f0
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment