ROSE  0.9.10.44
Rose::BinaryAnalysis::YicesSolver Member List

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

assertions() const Rose::BinaryAnalysis::SmtSolvervirtual
assertions(size_t level) const Rose::BinaryAnalysis::SmtSolvervirtual
Availability typedefRose::BinaryAnalysis::SmtSolver
availability()Rose::BinaryAnalysis::SmtSolverstatic
available_linkage() ROSE_DEPRECATED("use availableLinkages") (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverstatic
availableLinkages()Rose::BinaryAnalysis::YicesSolverstatic
bestAvailable()Rose::BinaryAnalysis::SmtSolverstatic
bestLinkage(unsigned linkages)Rose::BinaryAnalysis::SmtSolverstatic
BinaryAPI typedef (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
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_OVERRIDERose::BinaryAnalysis::YicesSolverprotectedvirtual
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_OVERRIDERose::BinaryAnalysis::YicesSolvervirtual
clearMemoization()Rose::BinaryAnalysis::SmtSolverinlinevirtual
create() const Rose::BinaryAnalysis::YicesSolverinlinevirtual
ctx_asr(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_assert(const SymbolicExpr::Ptr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_binary(BinaryAPI, const SymbolicExpr::InteriorPtr &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_cast(const YExprTypePair &, Type toType) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_cast(const std::vector< YExprTypePair > &, Type toType) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_common_subexpressions(const std::vector< SymbolicExpr::Ptr > &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_define(const std::vector< SymbolicExpr::Ptr > &, Definitions *) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_expr(const SymbolicExpr::Ptr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_exprs(const std::vector< SymbolicExpr::Ptr > &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_extract(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_ite(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_la(BinaryAPI, const SymbolicExpr::InteriorPtr &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_la(BinaryAPI, const std::vector< YExprTypePair > &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_la(NaryAPI, const SymbolicExpr::InteriorPtr &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_la(NaryAPI, const std::vector< YExprTypePair > &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_mult(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_read(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_set(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_sext(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_shift(ShiftAPI, const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_uext(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_unary(UnaryAPI, const YExprTypePair &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_write(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
ctx_zerop(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
Definitions typedefRose::BinaryAnalysis::SmtSolver
doMemoization_ (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolverprotected
Evidence typedef (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
evidence (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
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_OVERRIDERose::BinaryAnalysis::YicesSolvervirtual
evidenceForVariable(const SymbolicExpr::Ptr &var)Rose::BinaryAnalysis::SmtSolverinlinevirtual
evidenceForVariable(uint64_t varno)Rose::BinaryAnalysis::SmtSolverinlinevirtual
evidenceNames() ROSE_OVERRIDERose::BinaryAnalysis::YicesSolvervirtual
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 *) ROSE_OVERRIDERose::BinaryAnalysis::YicesSolverprotectedvirtual
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) ROSE_OVERRIDERose::BinaryAnalysis::YicesSolverprotectedvirtual
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(unsigned linkages=LM_ANY)Rose::BinaryAnalysis::YicesSolverinlinestatic
Rose::BinaryAnalysis::SmtSolver::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
most_type(const std::vector< SExprTypePair > &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
most_type(const std::vector< YExprTypePair > &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
name() const Rose::BinaryAnalysis::SmtSolverinline
name(const std::string &s)Rose::BinaryAnalysis::SmtSolverinline
NaryAPI typedef (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
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
out_asr(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_assert(std::ostream &, const SymbolicExpr::Ptr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_binary(const char *opname, const SymbolicExpr::InteriorPtr &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_cast(const std::vector< SExprTypePair > &, Type toType) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_cast(const SExprTypePair &, Type toType) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_comments(std::ostream &, const std::vector< SymbolicExpr::Ptr > &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_common_subexpressions(std::ostream &, const std::vector< SymbolicExpr::Ptr > &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_define(std::ostream &, const std::vector< SymbolicExpr::Ptr > &, Definitions *) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_expr(const SymbolicExpr::Ptr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_exprs(const std::vector< SymbolicExpr::Ptr > &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_extract(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_ite(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_la(const char *opname, const SymbolicExpr::InteriorPtr &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_la(const char *opname, const std::vector< SExprTypePair > &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_mult(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_number(std::ostream &, const SymbolicExpr::Ptr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_read(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_set(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_sext(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_shift(const char *opname, const SymbolicExpr::InteriorPtr &, bool newbits) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_uext(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_unary(const char *opname, const SExprTypePair &, Type rettype=NO_TYPE) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_write(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
out_zerop(const SymbolicExpr::InteriorPtr &) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
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_OVERRIDERose::BinaryAnalysis::YicesSolverprotectedvirtual
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_OVERRIDERose::BinaryAnalysis::YicesSolvervirtual
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 enum nameRose::BinaryAnalysis::SmtSolver
satisfiable(const SymbolicExpr::Ptr &)Rose::BinaryAnalysis::SmtSolvervirtual
satisfiable(const std::vector< SymbolicExpr::Ptr > &)Rose::BinaryAnalysis::SmtSolvervirtual
selfTest()Rose::BinaryAnalysis::SmtSolvervirtual
SExprTypePair typedef (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolver
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
ShiftAPI typedef (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
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
termExprs (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
TermExprs typedef (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
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
UnaryAPI typedef (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
undoNormalization(const std::vector< SymbolicExpr::Ptr > &, const SymbolicExpr::ExprExprHashMap &index)Rose::BinaryAnalysis::SmtSolverprotectedstatic
varForSet(const SymbolicExpr::InteriorPtr &set, const SymbolicExpr::LeafPtr &var) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolver
varForSet(const SymbolicExpr::InteriorPtr &set) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolver
VariableSet typedefRose::BinaryAnalysis::SmtSolver
YExprTypePair typedef (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverprotected
YicesSolver(unsigned linkages=LM_ANY) (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolverinlineexplicitprotected
~SharedObject()Sawyer::SharedObjectinlinevirtual
~SmtSolver() (defined in Rose::BinaryAnalysis::SmtSolver)Rose::BinaryAnalysis::SmtSolvervirtual
~YicesSolver() (defined in Rose::BinaryAnalysis::YicesSolver)Rose::BinaryAnalysis::YicesSolvervirtual