ROSE 0.11.145.147
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 Sep 30 2024 03:26:12 for ROSE by doxygen 1.9.8