ROSE  0.11.86.0
Rose::BinaryAnalysis::ModelChecker::Engine Member List

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

elapsedTime() const Rose::BinaryAnalysis::ModelChecker::Engine
Engine()=delete (defined in Rose::BinaryAnalysis::ModelChecker::Engine)Rose::BinaryAnalysis::ModelChecker::Engineprotected
Engine(const SettingsPtr &) (defined in Rose::BinaryAnalysis::ModelChecker::Engine)Rose::BinaryAnalysis::ModelChecker::Engineexplicitprotected
estimatedForestSize(size_t k) const Rose::BinaryAnalysis::ModelChecker::Engine
explorationPredicate() const Rose::BinaryAnalysis::ModelChecker::Engine
explorationPredicate(const PathPredicatePtr &)Rose::BinaryAnalysis::ModelChecker::Engine
explorationPrioritizer() const Rose::BinaryAnalysis::ModelChecker::Engine
explorationPrioritizer(const PathPrioritizerPtr &)Rose::BinaryAnalysis::ModelChecker::Engine
inProgress() const Rose::BinaryAnalysis::ModelChecker::Engine
insertInteresting(const PathPtr &)Rose::BinaryAnalysis::ModelChecker::Engine
insertStartingPoint(const ExecutionUnitPtr &)Rose::BinaryAnalysis::ModelChecker::Engine
insertStartingPoint(const PathPtr &)Rose::BinaryAnalysis::ModelChecker::Engine
insertWork(const PathPtr &)Rose::BinaryAnalysis::ModelChecker::Engine
instance()Rose::BinaryAnalysis::ModelChecker::Enginestatic
instance(const SettingsPtr &)Rose::BinaryAnalysis::ModelChecker::Enginestatic
interesting() const Rose::BinaryAnalysis::ModelChecker::Engine
interesting()Rose::BinaryAnalysis::ModelChecker::Engine
interestingPredicate() const Rose::BinaryAnalysis::ModelChecker::Engine
interestingPredicate(const PathPredicatePtr &)Rose::BinaryAnalysis::ModelChecker::Engine
nExpressionsTrimmed() const Rose::BinaryAnalysis::ModelChecker::Engine
nPathsExplored() const Rose::BinaryAnalysis::ModelChecker::Engine
nPathsPending() const Rose::BinaryAnalysis::ModelChecker::Engine
nStepsExplored() const Rose::BinaryAnalysis::ModelChecker::Engine
nWorking() const Rose::BinaryAnalysis::ModelChecker::Engine
pendingPaths() const Rose::BinaryAnalysis::ModelChecker::Engine
Ptr typedefRose::BinaryAnalysis::ModelChecker::Engine
reset()Rose::BinaryAnalysis::ModelChecker::Engine
run()Rose::BinaryAnalysis::ModelChecker::Engine
semantics() const Rose::BinaryAnalysis::ModelChecker::Engine
semantics(const SemanticCallbacksPtr &)Rose::BinaryAnalysis::ModelChecker::Engine
settings() const Rose::BinaryAnalysis::ModelChecker::Engine
settings(const SettingsPtr &)Rose::BinaryAnalysis::ModelChecker::Engine
showStatistics(std::ostream &, const std::string &prefix="") const Rose::BinaryAnalysis::ModelChecker::Engine
startWorkers(size_t n=0)Rose::BinaryAnalysis::ModelChecker::Engine
step()Rose::BinaryAnalysis::ModelChecker::Engine
stop()Rose::BinaryAnalysis::ModelChecker::Engine
takeNextInteresting()Rose::BinaryAnalysis::ModelChecker::Engine
workCapacity() const Rose::BinaryAnalysis::ModelChecker::Engine
workerStatusFile() const Rose::BinaryAnalysis::ModelChecker::Engine
workerStatusFile(const boost::filesystem::path &)Rose::BinaryAnalysis::ModelChecker::Engine
workRemains() const Rose::BinaryAnalysis::ModelChecker::Engine
~Engine()Rose::BinaryAnalysis::ModelChecker::Engine