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 /utils/data/Queries | |
| 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 'utils/data/Queries')
0 files changed, 0 insertions, 0 deletions
