ROSE 0.11.145.354
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
Generated on Mon Oct 27 2025 04:43:56 for ROSE by doxygen 1.9.8