def __init__(self, name = 'A system'):
"""Constructor"""
self.name = name[0:127]
self.checker = misc.data_checker()
self.E=set([])
self.ACF = []
self.ADF = []
self.initial=None
def __init__(self, name = 'EPG 1'):
self.name = str(name)[0:128]
self.S = []
self.A = []
self.LA = []
self.checker = misc.data_checker()
self.gen_hist = []
self.unknown_state = 0
self.EPM = 0
def __init__(self, s1, s2, pr = 1.0, check = False):
if check:
self.checker = misc.data_checker()
self.s1 = self.checker.check_s(s1)
self.s2 = self.checker.check_s(s2)
self.pr = self.checker.check_pr(pr)
else:
self.s1 = s1
self.s2 = s2
self.pr = pr
def __init__(self, name, fap = 0.0, epp = 0.0, edp = 0.0, edb = 'FS'):
"""Constructor"""
self.checker = misc.data_checker()
self.name = str(name)[0:128]
self.fap = self.checker.check_pr(fap)
self.epp = self.checker.check_pr(epp)
self.edp = self.checker.check_pr(edp)
self.edb = self.checker.check_edb(edb)
self.DI=set([])
self.DO=set([])
self.CI=set([])
self.CO=set([])
def __init__(self, name, e_next = 'none', EFA = set([]), EEP = set([]), EED = set([]), check=False):
self.name = str(name)[0:128]
if check:
self.checker = misc.data_checker()
if e_next=='none' or e_next=='FS':
self.e_next=e_next
else:
self.e_next = self.checker.check_e(e_next)
self.EFA = self.checker.check_E(EFA)
self.EEP = self.checker.check_E(EEP)
self.EED = self.checker.check_E(EED)
self.visited = False
else:
self.e_next=e_next
self.EFA = EFA
self.EEP = EEP
self.EED = EED
self.visited = False
self.I = []
self.O = []
self.pr = 0
self.next_pr = 0
def __init__(self, e1, e2):
self.checker = misc.data_checker()
self.e1 = self.checker.check_e(e1)
self.e2 = self.checker.check_e(e2)
self.name = e1.name + ' -DF-> ' + e2.name
def __init__(self, e1, e2, pr = 1.0):
self.checker = misc.data_checker()
self.e1 = self.checker.check_e(e1)
self.e2 = self.checker.check_e(e2)
self.pr = self.checker.check_pr(pr)
self.name = e1.name + ' -' + str(pr) + '-> ' + e2.name
