ROSE  0.10.0.0
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() const Rose::BinaryAnalysis::SmtSolver::Transactioninline
solver() const Rose::BinaryAnalysis::SmtSolver::Transactioninline
Transaction(const SmtSolver::Ptr &solver)Rose::BinaryAnalysis::SmtSolver::Transactioninlineexplicit
~Transaction()Rose::BinaryAnalysis::SmtSolver::Transactioninline