claripy.vsa.strided_interval

module documentation
(source)

Undocumented

Class StridedInterval A Strided Interval is represented in the following form::
Class WarrenMethods Methods as suggested in book. Hackers Delight.
Function CreateStridedInterval :param name: :param bits: :param stride: :param lower_bound: :param upper_bound: :param to_conv: :param bool discrete_set: :param int discrete_set_max_cardinality: :return:
Function normalize_types Undocumented
Function reversed_processor Undocumented
Variable allow_dsis Undocumented
Variable logger Undocumented
Variable si_id_ctr Undocumented
def CreateStridedInterval(name=None, bits=0, stride=None, lower_bound=None, upper_bound=None, uninitialized=False, to_conv=None, discrete_set=False, discrete_set_max_cardinality=None): (source)

:param name: :param bits: :param stride: :param lower_bound: :param upper_bound: :param to_conv: :param bool discrete_set: :param int discrete_set_max_cardinality: :return:

def normalize_types(f): (source)

Undocumented

def reversed_processor(f): (source)

Undocumented

allow_dsis: bool = (source)

Undocumented

logger = (source)

Undocumented

si_id_ctr = (source)

Undocumented