ROSE  0.9.10.103
Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue Member List

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

boolean_(bool value) const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinlinevirtual
bottom_(size_t nbits) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
copy(size_t new_width=0) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
create(size_t nbits, uint64_t v1, uint64_t v2)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
create(size_t nbits, const Intervals &intervals)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
create_from_bits(size_t nbits, uint64_t possible_bits)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
createMerged(const SValuePtr &other, const MergerPtr &merger, const SmtSolverPtr &solver) const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinline
createOptionalMerge(const BaseSemantics::SValuePtr &other, const BaseSemantics::MergerPtr &, const SmtSolverPtr &) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValuevirtual
get_comment() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinlinevirtual
get_intervals() const Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinline
get_number() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
get_width() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinlinevirtual
instance()Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
instance_bottom(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
instance_copy(const SValuePtr &other)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
instance_from_bits(size_t nbits, uint64_t possible_bits)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValuestatic
instance_hull(size_t nbits, uint64_t v1, uint64_t v2)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
instance_integer(size_t nbits, uint64_t number)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
instance_intervals(size_t nbits, const Intervals &intervals)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
instance_undefined(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
instance_unspecified(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
intervals_ (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueprotected
is_number() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
isBottom() const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
isBottom_ (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueprotected
isFalse() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinline
isTrue() const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinline
may_equal(const BaseSemantics::SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValuevirtual
must_equal(const BaseSemantics::SValuePtr &other, const SmtSolverPtr &solver=SmtSolverPtr()) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValuevirtual
number_(size_t nbits, uint64_t number) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
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::InstructionSemantics2::BaseSemantics::SValueinline
operator=(const SharedObject &)Sawyer::SharedObjectinline
poolAllocator()Sawyer::SmallObjectinlinestatic
possible_bits() const Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue
print(std::ostream &output, BaseSemantics::Formatter &) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValuevirtual
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValue::print(std::ostream &stream) const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinline
promote(const BaseSemantics::SValuePtr &v)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinestatic
Ptr typedefRose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValue
set_comment(const std::string &) const Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinlinevirtual
set_intervals(const Intervals &intervals)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinline
set_width(size_t nbits)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinlinevirtual
sharedFromThis()Sawyer::SharedFromThis< SValue >inline
sharedFromThis() constSawyer::SharedFromThis< SValue >inline
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
SValue(size_t nbits) (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlineexplicitprotected
SValue(size_t nbits, uint64_t number) (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlineprotected
SValue(size_t nbits, uint64_t v1, uint64_t v2) (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlineprotected
SValue(size_t nbits, const Intervals &intervals) (defined in Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlineprotected
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValue::SValue()Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinlineprotected
SValue(const SValue &other) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinlineprotected
undefined_(size_t nbits) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
unspecified_(size_t nbits) const ROSE_OVERRIDERose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValueinlinevirtual
width (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueprotected
with_format(Formatter &fmt)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinline
~SharedFromThis() (defined in Sawyer::SharedFromThis< SValue >)Sawyer::SharedFromThis< SValue >inlinevirtual
~SharedObject()Sawyer::SharedObjectinlinevirtual
~SValue() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValue)Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::SValueinlinevirtual