def CreateStridedInterval(name=None, bits=<NUM_LIT:0>, stride=None, lower_bound=None, upper_bound=None, uninitialized=False,<EOL>to_conv=None, discrete_set=False, discrete_set_max_cardinality=None):
if to_conv is not None:<EOL><INDENT>if isinstance(to_conv, Base):<EOL><INDENT>to_conv = to_conv._model_vsa<EOL><DEDENT>if isinstance(to_conv, StridedInterval):<EOL><INDENT>return to_conv<EOL><DEDENT>if not isinstance(to_conv, (numbers.Number, BVV)):<EOL><INDENT>raise ClaripyOperationError('<STR_LIT>' % type(to_conv))<EOL><DEDENT>if (stride is not None<EOL>or lower_bound is not None<EOL>or upper_bound is not None):<EOL><INDENT>raise ClaripyOperationError('<STR_LIT>')<EOL><DEDENT>if isinstance(to_conv, BVV):<EOL><INDENT>bits = to_conv.bits<EOL>to_conv_value = to_conv.value<EOL><DEDENT>else:<EOL><INDENT>bits = bits<EOL>to_conv_value = to_conv<EOL><DEDENT>stride = <NUM_LIT:0><EOL>lower_bound = to_conv_value<EOL>upper_bound = to_conv_value<EOL><DEDENT>bi = StridedInterval(name=name,<EOL>bits=bits,<EOL>stride=stride,<EOL>lower_bound=lower_bound,<EOL>upper_bound=upper_bound,<EOL>uninitialized=uninitialized)<EOL>if not discrete_set:<EOL><INDENT>return bi<EOL><DEDENT>else:<EOL><INDENT>dsis = DiscreteStridedIntervalSet(<EOL>name=name,<EOL>bits=bits,<EOL>si_set={ bi },<EOL>max_cardinality=discrete_set_max_cardinality<EOL>)<EOL>return dsis<EOL><DEDENT>
: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: