@staticmethod<EOL><INDENT>def _wrapped_cardinality(x, y, bits):<DEDENT>
if x == ((y + <NUM_LIT:1>) % (<NUM_LIT:2> ** bits)):<EOL><INDENT>return <NUM_LIT:2> ** bits<EOL><DEDENT>else:<EOL><INDENT>return ((y - x) + <NUM_LIT:1>) & (<NUM_LIT:2> ** bits - <NUM_LIT:1>)<EOL><DEDENT>
Return the cardinality for a set of number (| x, y |) on the wrapped-interval domain.

:param x: The first operand (an integer)
:param y: The second operand (an integer)
:return: The cardinality