def create_trace_flloat(traceset, i, keys):
setslist = [create_sets(traceset[k][:i]) for k in keys]
dictlist = [FiniteTrace.fromStringSets(s) for s in setslist]
keydictlist = dict()
j = 0
for k in keys:
keydictlist[k] = dictlist[j]
j += 1
t = FiniteTraceDict.fromDictSets(keydictlist)
return t
def create_trace_flloat(self, traceset, i):
setslist = [self.create_sets(traceset[k][i]) for k in self.keys]
a = self.create_sets(traceset['A'][i])
setslist.append(a)
dictlist = [FiniteTrace.fromStringSets(s) for s in setslist]
keydictlist = dict()
keydictlist['A'] = dictlist[-1]
j = 0
for k in self.keys:
keydictlist[k] = dictlist[j]
j += 1
t = FiniteTraceDict.fromDictSets(keydictlist)
return t