- Generated by
1.15.0
|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for wrapped_interval, including all inherited members.
| adjust(const BigInt &v) const | interval_templatet< BigInt > | inline |
| amb(const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| approx_union_with(const interval_templatet< BigInt > &i) override | wrapped_interval | inline |
| interval_templatet< BigInt >::approx_union_with(const interval_templatet &i) | interval_templatet< BigInt > | inlinevirtual |
| arithmetic_right_shift(unsigned k) const | wrapped_interval | inline |
| arithmetic_right_shift(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::arithmetic_right_shift(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| bigger(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | inlinestatic |
| bitnot(const wrapped_interval &w) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::bitnot(const interval_templatet< BigInt > &w) | interval_templatet< BigInt > | inlinestatic |
| bottom | wrapped_interval | |
| cardinality() const | wrapped_interval | inline |
| cast(const wrapped_interval &old, const type2tc &new_type) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::cast(const interval_templatet< BigInt > &, const type2tc &) | interval_templatet< BigInt > | inlinestatic |
| complement(const wrapped_interval &w) | wrapped_interval | inlinestatic |
| contains(const BigInt &e) const override | wrapped_interval | inlinevirtual |
| contract_interval_le(interval_templatet< BigInt > &a, interval_templatet< BigInt > &b) | interval_templatet< BigInt > | inlinestatic |
| convert_to_wrap(const BigInt &b) const | wrapped_interval | inline |
| cut(const wrapped_interval &u) | wrapped_interval | inlinestatic |
| difference(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | inlinestatic |
| dump() const | interval_templatet< BigInt > | inline |
| empty() const override | wrapped_interval | inlinevirtual |
| equality(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::equality(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| extend(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | inlinestatic |
| extrapolate_to(const wrapped_interval &f1, const wrapped_interval &f2) | wrapped_interval | inlinestatic |
| gap(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | inlinestatic |
| get(bool is_upper) const override | wrapped_interval | inlinevirtual |
| get_interval_bounds() const | wrapped_interval | inline |
| get_lower() const | interval_templatet< BigInt > | inline |
| get_max() const | wrapped_interval | inline |
| get_min() const | wrapped_interval | inline |
| get_upper() const | interval_templatet< BigInt > | inline |
| get_upper_bound() const | wrapped_interval | inline |
| greater_than(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::greater_than(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| greater_than_equal(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::greater_than_equal(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| has_changed(const interval_templatet< BigInt > &i) | interval_templatet< BigInt > | inline |
| intersect_with(const interval_templatet &i) | interval_templatet< BigInt > | inline |
| intersection(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | inlinestatic |
| interval_arithmetic_right_shift(const interval_templatet< BigInt > &, const interval_templatet< BigInt > &) const | interval_templatet< BigInt > | inline |
| interval_arithmetic_right_shift(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) const | interval_templatet< BigInt > | |
| interval_bitand(const interval_templatet< BigInt > &, const interval_templatet< BigInt > &) const | interval_templatet< BigInt > | inline |
| interval_bitor(const interval_templatet< BigInt > &, const interval_templatet< BigInt > &) const | interval_templatet< BigInt > | inline |
| interval_bitxor(const interval_templatet< BigInt > &, const interval_templatet< BigInt > &) const | interval_templatet< BigInt > | inline |
| interval_left_shift(const interval_templatet< BigInt > &, const interval_templatet< BigInt > &) const | interval_templatet< BigInt > | inline |
| interval_logical_right_shift(const interval_templatet< BigInt > &, const interval_templatet< BigInt > &) const | interval_templatet< BigInt > | inline |
| interval_templatet()=default | interval_templatet< BigInt > | |
| interval_templatet(const type2tc &) | interval_templatet< BigInt > | inlineexplicit |
| interval_templatet(const BigInt &x) | interval_templatet< BigInt > | inlineexplicit |
| interval_templatet(const BigInt &l, const BigInt &u) | interval_templatet< BigInt > | inline |
| invert_bool(const wrapped_interval &i) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::invert_bool(const interval_templatet< BigInt > &i) | interval_templatet< BigInt > | inlinestatic |
| is_bottom() const | interval_templatet< BigInt > | inline |
| is_equal(const wrapped_interval &rhs) const | wrapped_interval | inline |
| is_included(const wrapped_interval &rhs) const | wrapped_interval | inline |
| is_le_than(const BigInt &a, const BigInt &b) const | interval_templatet< BigInt > | inlinevirtual |
| is_representable(const type2tc &t) | wrapped_interval | inlinestatic |
| is_subseteq(const interval_templatet &other) const | interval_templatet< BigInt > | inline |
| is_top() const override | wrapped_interval | inlinevirtual |
| join(const interval_templatet< BigInt > &i) | interval_templatet< BigInt > | inline |
| left_shift(unsigned k) const | wrapped_interval | inline |
| left_shift(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::left_shift(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| less_than(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::less_than(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| less_than_equal(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::less_than_equal(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| logical_right_shift(unsigned k) const | wrapped_interval | inline |
| logical_right_shift(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::logical_right_shift(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| lower | interval_templatet< BigInt > | |
| make_ge_than(const BigInt &v) override | wrapped_interval | inlinevirtual |
| make_ge_than(const wrapped_interval &rhs) | wrapped_interval | inline |
| make_le_than(const BigInt &v) override | wrapped_interval | inlinevirtual |
| make_le_than(const wrapped_interval &rhs) | wrapped_interval | inline |
| make_lower_interval() | interval_templatet< BigInt > | inline |
| make_sound_le(interval_templatet< BigInt > &v) | interval_templatet< BigInt > | inline |
| meet(const interval_templatet< BigInt > &i) | interval_templatet< BigInt > | inline |
| most_significant_bit(const BigInt &b) const | wrapped_interval | inline |
| multiply_us(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| north_pole(const type2tc &t) | wrapped_interval | inlinestatic |
| not_equal(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::not_equal(const interval_templatet< BigInt > &lhs, const interval_templatet< BigInt > &rhs) | interval_templatet< BigInt > | inlinestatic |
| nsplit() const | wrapped_interval | inline |
| operator%(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | friend |
| operator&(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | friend |
| operator*(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | friend |
| operator+(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | friend |
| operator-(const wrapped_interval &lhs) | wrapped_interval | friend |
| operator-(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | friend |
| operator/(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | friend |
| operator^(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | friend |
| operator|(const wrapped_interval &lhs, const wrapped_interval &rhs) | wrapped_interval | friend |
| over_join(std::vector< wrapped_interval > &r) | wrapped_interval | inlinestatic |
| over_join(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | inlinestatic |
| over_meet(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | inlinestatic |
| set(bool is_upper, const BigInt &b) override | wrapped_interval | inlinevirtual |
| set_lower(const BigInt &b) | interval_templatet< BigInt > | inline |
| set_upper(const BigInt &b) | interval_templatet< BigInt > | inline |
| sign_extension(const type2tc &cast) const | wrapped_interval | inline |
| singleton() const | interval_templatet< BigInt > | inline |
| south_pole(const type2tc &t) | wrapped_interval | inlinestatic |
| ssplit() const | wrapped_interval | inline |
| t | wrapped_interval | |
| ternary_if(const wrapped_interval &cond, const wrapped_interval &true_value, const wrapped_interval &false_value) | wrapped_interval | inlinestatic |
| interval_templatet< BigInt >::ternary_if(const interval_templatet< BigInt > &cond, const interval_templatet< BigInt > &true_value, const interval_templatet< BigInt > &false_value) | interval_templatet< BigInt > | inlinestatic |
| trunc(const BigInt &b, unsigned k) | wrapped_interval | inlinestatic |
| trunc(const type2tc &cast) const | wrapped_interval | inline |
| type | interval_templatet< BigInt > | |
| under_meet(const wrapped_interval &s, const wrapped_interval &t) | wrapped_interval | inlinestatic |
| upper | interval_templatet< BigInt > | |
| upper_bound | wrapped_interval | protected |
| warren_approximation_function typedef | wrapped_interval | |
| wrapped_interval() | wrapped_interval | inline |
| wrapped_interval(const type2tc &t) | wrapped_interval | inlineexplicit |
| wrapped_le(const BigInt &b, const BigInt &a, const BigInt &c, const type2tc &t) | wrapped_interval | inlinestatic |
| zero_extension(const type2tc &cast) const | wrapped_interval | inline |
| ~interval_templatet()=default | interval_templatet< BigInt > | virtual |
1.15.0