diff options
author | Eric Rizzi <eric.rizzi@gmail.com> | 2015-02-16 11:42:08 -0500 |
---|---|---|
committer | Eric Rizzi <eric.rizzi@gmail.com> | 2015-04-01 14:22:02 -0400 |
commit | d9bcbba2c94086039c11c86200670639ee2ec19f (patch) | |
tree | 890ec560cf3e7db18d5eabb3c8ececa9e396319c /runtime/POSIX | |
parent | b70e2d2e772748ac4e217881742ad55fcfb77096 (diff) | |
download | klee-d9bcbba2c94086039c11c86200670639ee2ec19f.tar.gz |
Added the ability to solve for all factors in a particular query.
This functionality is necessary in order to more effectively handle calls to IndependentSolver::getInitialValues. An incoming query will be broken down into its smaller parts, and each piece will be solved for. At the end, the pieces will be recombined into a larger solution. The IndependentElementSet::getAllFactors() method takes a query and breaks it down into all of it's non-interacting factors. The IndependentElementSet::calculateArrays() method calculates which arrays are involved in a particular factor.
Diffstat (limited to 'runtime/POSIX')
0 files changed, 0 insertions, 0 deletions