diff options
author | Eric Rizzi <eric.rizzi@gmail.com> | 2015-02-16 11:38:33 -0500 |
---|---|---|
committer | Eric Rizzi <eric.rizzi@gmail.com> | 2015-03-10 21:11:33 -0400 |
commit | b70e2d2e772748ac4e217881742ad55fcfb77096 (patch) | |
tree | 404303ec41d484c6f623b4966d7aa142c2843bd7 /lib/Solver/QueryLoggingSolver.h | |
parent | a2617b6bba5b8119979749ef85ffd39baf747720 (diff) | |
download | klee-b70e2d2e772748ac4e217881742ad55fcfb77096.tar.gz |
Altered DenseSet and IndependentElementSet to record ref<Expr> involved
This is important for future changes to IndependentSolver:: getInitialValues() so that an incoming constraint can be broken down into its smallest possible parts. Each of these individual parts may then be solved for and then the solutions to each piece combined to create a final answer. Finally, several fields which had previously been private are now public to facilitate the smaller solutions being combined into a larger solution.
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.h')
0 files changed, 0 insertions, 0 deletions