def SymbolicSequence1Set_generator(self):
S = self.aset
for i in range(1, self.env._max_int+1):
if USE_RPYTHON_CODE:
images = S.to_list()
else:
images = list(S)
sequences = create_all_seq_w_fixlen(images, i)
for sequence in sequences:
yield sequence
def SymbolicPermutationSet_generator(self):
S = self.aset
for i in range(1, self.env._max_int+1):
if USE_RPYTHON_CODE:
images = S.to_list()
else:
images = list(S)
sequences = create_all_seq_w_fixlen(images, i)
for sequence in sequences:
if is_a_inje_function(sequence) and is_a_surj_function(sequence, S):
yield sequence
def SymbolicISequence1Set_generator(self):
yield frozenset([]) #TODO: check this
S = self.aset
for i in range(1, self.env._max_int+1):
if USE_RPYTHON_CODE:
images = S.to_list()
else:
images = list(S)
sequences = create_all_seq_w_fixlen(images, i)
for sequence in sequences:
if is_a_inje_function(sequence):
yield sequence
