ROSE  0.11.145.0
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue Member List

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

boolean_(bool value) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlinevirtual
bottom_(size_t nBits) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
comment() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
comment(const std::string &) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
copy(size_t new_width=0) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
createMerged(const SValuePtr &other, const MergerPtr &merger, const SmtSolverPtr &solver) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinline
createOptionalMerge(const SValuePtr &other, const MergerPtr &merger, const SmtSolverPtr &solver) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
get_comment() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlinevirtual
get_number() const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
get_width() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlinevirtual
hash(Combinatorics::Hasher &) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
is_number() const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
isBottom() const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
isConcrete() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
isFalse() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
isTrue() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
may_equal(const SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
mayEqual(const SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
must_equal(const SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
mustEqual(const SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
nBits() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
number_(size_t nbits, uint64_t number) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
operator delete(void *ptr, size_t size) (defined in Sawyer::SmallObject)Sawyer::SmallObjectinlinestatic
operator new(size_t size) (defined in Sawyer::SmallObject)Sawyer::SmallObjectinlinestatic
operator+(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinline
operator+(const std::string &linePrefix)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
operator=(const SharedObject &)Sawyer::SharedObjectinline
poolAllocator()Sawyer::SmallObjectinlinestatic
print(std::ostream &) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
print(std::ostream &, Formatter &) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
promote(const SValuePtr &x) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlinestatic
Ptr typedefRose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
set_comment(const std::string &) const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlinevirtual
set_width(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlinevirtual
sharedFromThis()Sawyer::SharedFromThis< SValue >inline
sharedFromThis() constSawyer::SharedFromThis< SValue >inline
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
SValue() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlineprotected
SValue(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlineexplicitprotected
SValue(const SValue &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlineprotected
toSigned() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
toString() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
toUnsigned() const Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue
undefined_(size_t nbits) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
unspecified_(size_t nbits) const =0Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValuepure virtual
width (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueprotected
with_format(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinline
~SharedFromThis() (defined in Sawyer::SharedFromThis< SValue >)Sawyer::SharedFromThis< SValue >inlinevirtual
~SharedObject()Sawyer::SharedObjectinlinevirtual
~SValue() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SValueinlinevirtual