@property<EOL><INDENT>def max(self):<DEDENT>
if len(self.regions) != <NUM_LIT:1>:<EOL><INDENT>raise ClaripyVSAOperationError("<STR_LIT>")<EOL><DEDENT>return self.get_si(next(iter(self.regions))).max<EOL>
The maximum integer value of a value-set. It is only defined when there is exactly one region.

:return: A integer that represents the maximum integer value of this value-set.
:rtype:  int