Value Analysis creates simple symbolic formulas for binary Java expressions and allows comparison on these values.

By now, no simplification of formulas is performed.
In addition, comparison relies completely on Invariants Analysis's formula classes.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14444 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c