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