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