ROSE 0.11.145.192
|
This is the complete list of members for Rose::BinaryAnalysis::SmtSolver::Transaction, including all inherited members.
commit(bool b=true) | Rose::BinaryAnalysis::SmtSolver::Transaction | inline |
isCommitted() const | Rose::BinaryAnalysis::SmtSolver::Transaction | inline |
solver() const | Rose::BinaryAnalysis::SmtSolver::Transaction | inline |
Transaction(const SmtSolver::Ptr &solver) | Rose::BinaryAnalysis::SmtSolver::Transaction | inlineexplicit |
~Transaction() | Rose::BinaryAnalysis::SmtSolver::Transaction | inline |