about summary refs log tree commit diff homepage
path: root/lib/Solver/QueryLoggingSolver.h
diff options
context:
space:
mode:
authorEric Rizzi <eric.rizzi@gmail.com>2015-02-16 11:38:33 -0500
committerEric Rizzi <eric.rizzi@gmail.com>2015-03-10 21:11:33 -0400
commitb70e2d2e772748ac4e217881742ad55fcfb77096 (patch)
tree404303ec41d484c6f623b4966d7aa142c2843bd7 /lib/Solver/QueryLoggingSolver.h
parenta2617b6bba5b8119979749ef85ffd39baf747720 (diff)
downloadklee-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