about summary refs log tree commit diff homepage
path: root/runtime/POSIX
diff options
context:
space:
mode:
authorEric Rizzi <eric.rizzi@gmail.com>2015-02-16 11:42:08 -0500
committerEric Rizzi <eric.rizzi@gmail.com>2015-04-01 14:22:02 -0400
commitd9bcbba2c94086039c11c86200670639ee2ec19f (patch)
tree890ec560cf3e7db18d5eabb3c8ececa9e396319c /runtime/POSIX
parentb70e2d2e772748ac4e217881742ad55fcfb77096 (diff)
downloadklee-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