ROSE  0.9.10.69
Rose::BinaryAnalysis::SmtSolver Member List

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

assertions() const Rose::BinaryAnalysis::SmtSolvervirtual
assertions(size_t level) const Rose::BinaryAnalysis::SmtSolvervirtual
availability()Rose::BinaryAnalysis::SmtSolverstatic
Availability typedefRose::BinaryAnalysis::SmtSolver
bestAvailable()Rose::BinaryAnalysis::SmtSolverstatic
bestLinkage(unsigned linkages)Rose::BinaryAnalysis::SmtSolverstatic
BIT_VECTOR enum value (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
BOOLEAN enum value (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
check()Rose::BinaryAnalysis::SmtSolvervirtual
checkExe()Rose::BinaryAnalysis::SmtSolverprotectedvirtual
checkLib()Rose::BinaryAnalysis::SmtSolverprotectedvirtual
checkTrivial()Rose::BinaryAnalysis::SmtSolvervirtual
classStatistics()Rose::BinaryAnalysis::SmtSolverstatic
classStats (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotectedstatic
classStatsMutex (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotectedstatic
clear_evidence() ROSE_DEPRECATED("use clearEvidence") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual
clearEvidence()Rose::BinaryAnalysis::SmtSolvervirtual
clearMemoization()Rose::BinaryAnalysis::SmtSolverinlinevirtual
create() const =0Rose::BinaryAnalysis::SmtSolverpure virtual
Definitions typedefRose::BinaryAnalysis::SmtSolver
doMemoization_ (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
evidence_for_address(uint64_t addr) ROSE_DEPRECATED("use evidenceForAddress") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual
evidence_for_name(const std::string &) ROSE_DEPRECATED("use evidenceForName") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual
evidence_for_variable(uint64_t varno) ROSE_DEPRECATED("use evidenceForVariable") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual
evidence_for_variable(const SymbolicExpr::Ptr &var) ROSE_DEPRECATED("use evidenceForVariable") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual
evidence_names() ROSE_DEPRECATED("use evidenceNames") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual
evidenceForAddress(uint64_t addr)Rose::BinaryAnalysis::SmtSolvervirtual
evidenceForName(const std::string &)Rose::BinaryAnalysis::SmtSolverinlinevirtual
evidenceForVariable(const SymbolicExpr::Ptr &var)Rose::BinaryAnalysis::SmtSolverinlinevirtual
evidenceForVariable(uint64_t varno)Rose::BinaryAnalysis::SmtSolverinlinevirtual
evidenceNames()Rose::BinaryAnalysis::SmtSolverinlinevirtual
ExprExprMap typedefRose::BinaryAnalysis::SmtSolver
findVariables(const SymbolicExpr::Ptr &)Rose::BinaryAnalysis::SmtSolverinlineprotectedvirtual
generate_file(std::ostream &, const std::vector< SymbolicExpr::Ptr > &exprs, Definitions *) ROSE_DEPRECATED("use generateFile") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotectedvirtual
generateFile(std::ostream &, const std::vector< SymbolicExpr::Ptr > &exprs, Definitions *)=0Rose::BinaryAnalysis::SmtSolverprotectedpure virtual
get_class_stats() ROSE_DEPRECATED("use classStatistics") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverstatic
get_command(const std::string &config_name) ROSE_DEPRECATED("use getCommand") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotectedvirtual
get_stats() const ROSE_DEPRECATED("use statistics") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
getCommand(const std::string &config_name)=0Rose::BinaryAnalysis::SmtSolverprotectedpure virtual
getErrorMessage(int exitStatus)Rose::BinaryAnalysis::SmtSolverprotectedvirtual
initDiagnostics()Rose::BinaryAnalysis::SmtSolverstatic
insert(const SymbolicExpr::Ptr &)Rose::BinaryAnalysis::SmtSolvervirtual
insert(const std::vector< SymbolicExpr::Ptr > &)Rose::BinaryAnalysis::SmtSolvervirtual
instance(const std::string &name)Rose::BinaryAnalysis::SmtSolverstatic
latestMemoizationId() const Rose::BinaryAnalysis::SmtSolverinline
latestMemoizationId_ (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
latestMemoizationRewrite_ (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
linkage() const Rose::BinaryAnalysis::SmtSolverinline
linkage_ (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
LinkMode enum nameRose::BinaryAnalysis::SmtSolver
LM_ANY enum valueRose::BinaryAnalysis::SmtSolver
LM_EXECUTABLE enum valueRose::BinaryAnalysis::SmtSolver
LM_LIBRARY enum valueRose::BinaryAnalysis::SmtSolver
LM_NONE enum valueRose::BinaryAnalysis::SmtSolver
MEM_STATE enum value (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
Memoization typedef (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
memoization() const Rose::BinaryAnalysis::SmtSolverinline
memoization(bool b)Rose::BinaryAnalysis::SmtSolverinline
memoization_ (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
memoizationNEntries() const Rose::BinaryAnalysis::SmtSolverinlinevirtual
mlogRose::BinaryAnalysis::SmtSolverstatic
name() const Rose::BinaryAnalysis::SmtSolverinline
name(const std::string &s)Rose::BinaryAnalysis::SmtSolverinline
nAssertions(size_t backtrackingLevel)Rose::BinaryAnalysis::SmtSolvervirtual
nLevels() const Rose::BinaryAnalysis::SmtSolverinlinevirtual
NO_TYPE enum value (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
normalizeVariables(const std::vector< SymbolicExpr::Ptr > &, SymbolicExpr::ExprExprHashMap &index)Rose::BinaryAnalysis::SmtSolverprotectedstatic
operator=(const SharedObject &)Sawyer::SharedObjectinline
outputText_Rose::BinaryAnalysis::SmtSolverprotected
parse_evidence() ROSE_DEPRECATED("use parseEvidence") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotectedvirtual
parsedOutput_ (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
parseEvidence()Rose::BinaryAnalysis::SmtSolverinlineprotectedvirtual
parseSExpressions(const std::string &)Rose::BinaryAnalysis::SmtSolverprotected
pop()Rose::BinaryAnalysis::SmtSolvervirtual
printSExpression(std::ostream &, const SExpr::Ptr &)Rose::BinaryAnalysis::SmtSolverprotectedstatic
Ptr typedefRose::BinaryAnalysis::SmtSolver
push()Rose::BinaryAnalysis::SmtSolvervirtual
requireLinkage(LinkMode) const Rose::BinaryAnalysis::SmtSolver
reset()Rose::BinaryAnalysis::SmtSolvervirtual
reset_class_stats() ROSE_DEPRECATED("use resetClassStatistics") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
reset_stats() ROSE_DEPRECATED("use resetStatistics") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
resetClassStatistics()Rose::BinaryAnalysis::SmtSolverstatic
resetStatistics()Rose::BinaryAnalysis::SmtSolver
SAT_NO enum valueRose::BinaryAnalysis::SmtSolver
SAT_UNKNOWN enum valueRose::BinaryAnalysis::SmtSolver
SAT_YES enum valueRose::BinaryAnalysis::SmtSolver
satisfiable(const SymbolicExpr::Ptr &)Rose::BinaryAnalysis::SmtSolvervirtual
satisfiable(const std::vector< SymbolicExpr::Ptr > &)Rose::BinaryAnalysis::SmtSolvervirtual
Satisfiable enum nameRose::BinaryAnalysis::SmtSolver
selfTest()Rose::BinaryAnalysis::SmtSolvervirtual
SExprTypePair typedef (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
SmtSolver(const std::string &name, unsigned linkages)Rose::BinaryAnalysis::SmtSolverinlineprotected
statistics() const Rose::BinaryAnalysis::SmtSolverinline
stats (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
StringTypePair typedefRose::BinaryAnalysis::SmtSolver
TermNames typedef (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
termNames_ (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
trivially_satisfiable(const std::vector< SymbolicExpr::Ptr > &exprs) ROSE_DEPRECATED("use triviallySatisfiable") (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual
triviallySatisfiable(const std::vector< SymbolicExpr::Ptr > &exprs)Rose::BinaryAnalysis::SmtSolvervirtual
Type enum nameRose::BinaryAnalysis::SmtSolver
undoNormalization(const std::vector< SymbolicExpr::Ptr > &, const SymbolicExpr::ExprExprHashMap &index)Rose::BinaryAnalysis::SmtSolverprotectedstatic
VariableSet typedefRose::BinaryAnalysis::SmtSolver
~SharedObject()Sawyer::SharedObjectinlinevirtual
~SmtSolver() (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual