replacing waitlist-algorithm with CFATraversal-method and Visitor

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11323 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
The option cpa.predicate.ignoreIrrelevantVariables now also works
without pointer-alias handling (default is true).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11324 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Do not call PathFormulaManager.makeAndWithErrorConditions()
when the error conditions are not needed
to allow for not creating them at all in this case.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11325 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Prepare for omitting the creation of unnecessary error conditions
when they are disabled.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11326 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Add dummy implementation of ErrorConditions that will ignore
everything.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11327 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Do not spend effort for creating ErrorConditions if they are disabled
(for some cases, large formulas would be necessary).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11328 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Do not add useless constraints to formulas when they are not needed
because error conditions are disabled.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11329 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Remove wrong @Nullable annotations.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11330 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Re-enable a certain condition in the path formulas
that is not strictly necessary but seems to provide better performance.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11331 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Rename package cpa.abm to cpa.bam.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11332 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Rename ABMCPA to BAMCPA, including the names of all classes of this cpa.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11333 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Apply ABM=>BAM renaming to all other class names.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11334 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Apply ABM=>BAM renaming to remaining class members.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11335 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Replace all other occurrences of ABM by BAM.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11336 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Rename all cpa.abm configuration options to cpa.bam.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11338 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Rename and update test sets
(except for BuildBot set).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11339 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Remove very old results.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11340 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Refactoring for easier CIdExpression creation.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@11341 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
replacing waitlist-algorithm with CFATraversal-method and Visitor

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