def solution(self, b):
if isinstance(b, numbers.Number):<EOL><INDENT>b = StridedInterval(lower_bound=b, upper_bound=b, stride=<NUM_LIT:0>, bits=self.bits)<EOL><DEDENT>else:<EOL><INDENT>raise ClaripyOperationError('<STR_LIT>'<EOL>'<STR_LIT>')<EOL><DEDENT>if self.intersection(b).is_empty:<EOL><INDENT>return False<EOL><DEDENT>return True<EOL>
Checks whether an integer is solution of the current strided Interval
:param b: integer to check
:return: True if b belongs to the current Strided Interval, False otherwhise