#include <AbstractValue.h>
Definition at line 34 of file AbstractValue.h.
◆ AbstractValue() [1/5]
SVF::AbstractValue::AbstractValue |
( |
| ) |
|
|
inline |
Definition at line 41 of file AbstractValue.h.
44 addrs = AddressValue();
static IntervalValue bottom()
Create the bottom IntervalValue [+inf, -inf].
◆ AbstractValue() [2/5]
◆ AbstractValue() [3/5]
Definition at line 62 of file AbstractValue.h.
constexpr std::remove_reference< T >::type && move(T &&t) noexcept
◆ AbstractValue() [4/5]
◆ AbstractValue() [5/5]
SVF::AbstractValue::AbstractValue |
( |
const AddressValue & |
addr | ) |
|
|
inline |
◆ ~AbstractValue()
SVF::AbstractValue::~AbstractValue |
( |
| ) |
|
|
inline |
◆ equals()
bool SVF::AbstractValue::equals |
( |
const AbstractValue & |
rhs | ) |
const |
|
inline |
Definition at line 123 of file AbstractValue.h.
bool equals(const AddressValue &rhs) const
bool equals(const IntervalValue &other) const
Equality comparison.
◆ getAddrs() [1/2]
◆ getAddrs() [2/2]
◆ getInterval() [1/2]
◆ getInterval() [2/2]
◆ isAddr()
bool SVF::AbstractValue::isAddr |
( |
| ) |
const |
|
inline |
◆ isInterval()
bool SVF::AbstractValue::isInterval |
( |
| ) |
const |
|
inline |
◆ join_with()
void SVF::AbstractValue::join_with |
( |
const AbstractValue & |
other | ) |
|
|
inline |
Definition at line 128 of file AbstractValue.h.
bool join_with(const AddressValue &other)
Current AddressValue joins with another AddressValue.
void join_with(const IntervalValue &other)
Current IntervalValue joins with another IntervalValue.
◆ meet_with()
void SVF::AbstractValue::meet_with |
( |
const AbstractValue & |
other | ) |
|
|
inline |
Definition at line 134 of file AbstractValue.h.
bool meet_with(const AddressValue &other)
Return a intersected AddressValue.
void meet_with(const IntervalValue &other)
Return a intersected IntervalValue.
◆ narrow_with()
void SVF::AbstractValue::narrow_with |
( |
const AbstractValue & |
other | ) |
|
|
inline |
Definition at line 146 of file AbstractValue.h.
void narrow_with(const IntervalValue &other)
Current IntervalValue narrow with another IntervalValue.
◆ operator=() [1/4]
◆ operator=() [2/4]
◆ operator=() [3/4]
◆ operator=() [4/4]
◆ toString()
Definition at line 152 of file AbstractValue.h.
const std::string toString() const
const std::string toString() const
◆ widen_with()
void SVF::AbstractValue::widen_with |
( |
const AbstractValue & |
other | ) |
|
|
inline |
Definition at line 140 of file AbstractValue.h.
void widen_with(const IntervalValue &other)
Current IntervalValue widen with another IntervalValue.
◆ addrs
◆ interval
The documentation for this class was generated from the following file: