Split PolicyState into two classes,

explicitly distinguishing two separate cases.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14692 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Policy Iteration: do not track pointer values.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14693 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Optimization: support switching objectives.

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

 - Different way of converting abstracted states to formulas.
 - Do not compare pathformulas.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14695 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Policy iteration: re-use constraints for the abstraction computation.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14696 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Policy iteration: switch objectives for value determination.

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

only add auxiliary path-selection-variables when the node
has more than one incoming edge.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14698 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Updated doc/ConfigurationOptions.txt

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14699 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Arrays: Added some comments that describe the handling of the unary operator & in combination with the operator [].

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14700 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merged changes from trunk into the branch.



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