def getCandidatelist(self):
if len(self.Candidatelist) == 0 and self.candidateinitflag == 0:
self.Candidatelist = [TranWithInfo(item) for item in obtain_efsm_info.obtain_succ(self.tran)]
self.candidateinitflag = 1
else:
self.Candidatelist = [item for item in self.Candidatelist if
item.getName() not in TranWithInfo.conflictTran]
return self.Candidatelist
def getCandidatelist(self):
if len(self.Candidatelist) == 0 and self.candidateinitflag == 0:
self.Candidatelist = [TranWithInfo(item) for item in obtain_efsm_info.obtain_succ(self.tran)]
self.candidateinitflag = 1
else:
if self.getName() in TranWithInfo.conflictTran.keys():
self.Candidatelist = list(set(self.Candidatelist) - {TranWithInfo.conflictTran[self.getName()]})
return self.Candidatelist
