ROSE 0.11.145.192
Rose::BinaryAnalysis::SmtSolver::Transaction Member List

This is the complete list of members for Rose::BinaryAnalysis::SmtSolver::Transaction, including all inherited members.

commit(bool b=true)Rose::BinaryAnalysis::SmtSolver::Transactioninline
isCommitted() constRose::BinaryAnalysis::SmtSolver::Transactioninline
solver() constRose::BinaryAnalysis::SmtSolver::Transactioninline
Transaction(const SmtSolver::Ptr &solver)Rose::BinaryAnalysis::SmtSolver::Transactioninlineexplicit
~Transaction()Rose::BinaryAnalysis::SmtSolver::Transactioninline