klee::SolverQueryMetaData Struct Reference
#include <Solver.h>
Collaboration diagram for klee::SolverQueryMetaData:
Public Attributes | |
| time::Span | queryCost |
| Costs for all queries issued for this state. More... | |
Detailed Description
Collection of meta data that a solver can have access to. This is independent of the actual constraints but can be used as a two-way communication between solver and context of query.
Member Data Documentation
◆ queryCost
| time::Span klee::SolverQueryMetaData::queryCost |
Costs for all queries issued for this state.
Definition at line 29 of file Solver.h.
Referenced by klee::TimingSolver::evaluate(), klee::TimingSolver::getInitialValues(), klee::TimingSolver::getRange(), klee::TimingSolver::getValue(), klee::WeightedRandomSearcher::getWeight(), and klee::TimingSolver::mustBeTrue().
The documentation for this struct was generated from the following file:
- /Users/cristic/klee/include/klee/Solver/Solver.h
