class MyScreenManager(ScreenManager):
username = StringProperty(None)
password = StringProperty(None)
manager = ScreenManager()
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
manager.add_widget(Connected(name='disconnected'))
manager.add_widget(HomeScreen(name='home'))
def new_colour_screen(self):
name = str(time.time())
print (name)
s = ColourScreen(name=name,
colour=[random.random() for _ in range(3)] + [1])
self.add_widget(s)
self.current = name
def do_login(self, loginText, passwordText):
app = App.get_running_app()
app.username = loginText
app.password = passwordText
self.manager.transition = SlideTransition(direction="left")
self.manager.current = 'home'
app.config.read(app.get_application_config())
app.config.write()
def resetForm(self):
self.ids['login'].text = ""
self.ids['password'].text = ""
def get_application_config(self):
if(not self.username):
return super(LoginApp, self).get_application_config()
conf_directory = self.user_data_dir + '/' + self.username
if(not os.path.exists(conf_directory)):
os.makedirs(conf_directory)
return super(LoginApp, self).get_application_config(
'%s/config.cfg' % (conf_directory))
def connecting(self):
self.manager.transition = SlideTransition(direction="right")
self.root.current = 'home'
def disconnected(self):
self.manager.transition = SlideTransition(direction="left")
self.root.current = 'login'
self.root.get_screen('login').resetForm()
def __init__(self, size):
self.size = size
self.connect = Connected((((size * 3) + 2) * ((size * 3) + 2)))
self.start_c = 0
self.end_c = 0
self.base = [[
Shape("temp", [[1, 1, 1], [1, 1, 1], [1, 1, 1]], False, False)
for x in range(0, size)
] for y in range(0, size)]
self.maze = [[1 for x in range(0, ((size * 3) + 2))]
for y in range(0, ((size * 3) + 2))]
def find_equiv(self):
# Use connected components to find all equivalent states from pairs
self.conn = Connected(self.pairs_graph)
self.doc.h1('Equivalence states ({} states)'.format(self.conn.count))
for i in range(self.conn.count):
group = self.conn.get_group(i)
self.doc.write('- `{')
for s in group:
self.doc.write('{}; '.format(s))
self.doc.write('}`\n')
def build(self):
manager = ScreenManager()
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
# manager.get_screen('connected').ids.wlc.text="aissa"
return manager
def build(self):
manager = ScreenManager()
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
return manager
def build(self):
manager = ScreenManager()
listScreen = ListCliente(name='list')
#
#Window.clearcolor = (.25, .55, .77, .5)
Window.clearcolor = (.40, .61, .77, .5)
Window.set_title("Sistema de Aseguradora Demo")
Window.size = (350, 550)
#self.size = (400, 300)
#self.available_screens = sorted([
# 'Agentes Seguros', 'Clientes', 'Polizas', 'Usuario'])
#self.screen_names = self.available_screens
manager.add_widget(AseguradoraScreen(name='login'))
manager.add_widget(Connected(name='connected'))
manager.add_widget(Clientes(name='cliente'))
manager.add_widget(listScreen)
manager.add_widget(Agentes(name='agente'))
manager.add_widget(Polizas(name='poliza'))
manager.add_widget(DocumentosClientes(name='documentsC'))
manager.add_widget(AdminUser(name='adminUser'))
manager.add_widget(ListaClientes(name='listaClientes'))
manager.add_widget(ListaAgentes(name='listaAgentes'))
manager.add_widget(ListaPolizas(name='listaPolizas'))
Config.set('graphics', 'width', '200')
Config.set('graphics', 'height', '200')
return manager
def build(self):
self.root = Builder.load_file("test.kv")
manager = ScreenManager()
manager.add_widget(Redirect(name="redirect"))
manager.add_widget(GoToTheApp(name='gototheapp'))
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
return manager
def build(self):
manager = ScreenManager()
manager.add_widget(Inicio(name='inicio'))
manager.add_widget(Login(name='login'))
manager.add_widget(Registrar(name='registrar'))
manager.add_widget(Connected(name='connected'))
return manager
def build(self):
self.capture = cv2.VideoCapture(0)
self.my_camera = KivyCamera(capture=self.capture, fps=30)
manager = ScreenManager()
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
return manager
def build(self):
global manager
manager= ScreenManager()
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
#manager.add_widget(incall(name='incall')) #added in connected.py
return manager
def build(self):
manager = ScreenManager()
#getuser4.stuff(getuser.username)
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
manager.add_widget(Registration(name='registration'))
manager.add_widget(Recipes(name='recipes'))
manager.add_widget(Adddish(name='adddish'))
manager.add_widget(YourDishes(name='yourdishes'))
manager.add_widget(DeleteRec(name='deleterec'))
return manager
def build(self):
manager = ScreenManager()
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
manager.add_widget(Loginfail(name='loginfail'))
manager.add_widget(full(name='full'))
if self.full:
manager.transition = SlideTransition()
manager.current = 'full'
return manager
def build(self):
Window.clearcolor = (0.333, 0.466, 0.2, 1)
self.icon = 'icon.png'
manager = ScreenManager()
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
manager.add_widget(Initializing(name='initializing'))
manager.add_widget(Settings(name='settings'))
manager.add_widget(SubmitScores(name='submitscores'))
Config.read('xenon.ini')
if Config.get('auth', 'access_token') is not '0':
manager.transition = NoTransition()
manager.current = 'initializing'
return manager
def build(self):
manager = ScreenManager()
print("building")
Window.size = (500, 500)
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
manager.add_widget(Options(name='options'))
manager.add_widget(Screen1(name='screen1'))
manager.add_widget(Screen2(name='screen2'))
manager.add_widget(Screen3(name='screen3'))
manager.add_widget(SendMail(name='sendmail'))
manager.add_widget(Search(name='search'))
manager.add_widget(Latest(name='latest'))
#manager.add_widget(Done(name='done'))
return manager
def build(self):
manager = ScreenManager()
manager.id = 'parenthere'
manager.name = 'parenthere'
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
manager.add_widget(Reference(name='reference'))
manager.add_widget(ImportFile(name='importfile'))
manager.add_widget(SelectOpt(name='selectopt', id='selectopthere'))
manager.add_widget(ImportFile2(name='importfile2'))
manager.add_widget(SelectOpt(name='selectopt1', id='selectopthere1'))
manager.add_widget(Answer(name='answer'))
manager.add_widget(Result(name='result'))
return manager
def build(self):
try:
with open('cred.bin', 'rb') as f:
pass
except:
try:
with open('cred.bin', 'wb') as f:
a = {'user': '******'}
from pickle import dump
dump(a, f)
except:
Logger.warning("i don't have write access")
self.icon = 'res/icon.png'
manager = ScreenManager()
manager.add_widget(Login(name='login'))
manager.add_widget(Connected(name='connected'))
manager.add_widget(Settings(name='settings'))
# manager.add_widget(CredMan(name='credman'))
return manager
class Maze:
def __init__(self, size):
self.size = size
self.connect = Connected((((size * 3) + 2) * ((size * 3) + 2)))
self.start_c = 0
self.end_c = 0
self.base = [[
Shape("temp", [[1, 1, 1], [1, 1, 1], [1, 1, 1]], False, False)
for x in range(0, size)
] for y in range(0, size)]
self.maze = [[1 for x in range(0, ((size * 3) + 2))]
for y in range(0, ((size * 3) + 2))]
def base_maze_builder(self):
plus_shape_r = Shape("plus_r", [[1, 0, 1], [1, 0, 0], [1, 0, 1]], True,
True)
plus_shape = Shape("plus", [[1, 0, 1], [0, 0, 0], [1, 0, 1]], False,
True)
v_line_shape = Shape("vline", [[1, 0, 1], [1, 0, 1], [1, 0, 1]], True,
False)
h_line_shape = Shape("hline", [[1, 1, 1], [0, 0, 0], [1, 1, 1]], False,
True)
el_shape = Shape("el_shape", [[1, 0, 1], [1, 0, 0], [1, 1, 1]], False,
True)
inv_el_shape = Shape("inv_el_shape", [[1, 1, 1], [1, 0, 0], [1, 0, 1]],
True, True)
inv_re_el_shape = Shape("inv_re_el_shape",
[[1, 1, 1], [0, 0, 1], [1, 0, 1]], True, False)
halve_plus_shape = Shape("halve_plus_shape",
[[1, 0, 1], [0, 0, 1], [1, 0, 1]], True,
False)
top_o_side_o = [plus_shape, halve_plus_shape]
top_o_side_c = [plus_shape, v_line_shape, plus_shape_r]
top_c_side_o = [plus_shape, h_line_shape, inv_re_el_shape]
top_c_side_c = [h_line_shape, el_shape, inv_el_shape, halve_plus_shape]
for y in range(0, self.size):
for x in range(0, self.size):
if x == 0 and y == 0:
self.base[x][y] = inv_el_shape
elif x == 0:
if self.base[x][y - 1].is_side_open() == True:
self.base[x][y] = top_c_side_o[random.randrange(0, 3)]
else:
self.base[x][y] = top_c_side_c[random.randrange(0, 4)]
elif y == 0:
if self.base[x - 1][y].is_top_open() == True:
self.base[x][y] = top_o_side_c[random.randrange(0, 3)]
else:
self.base[x][y] = top_c_side_c[random.randrange(0, 4)]
else:
if self.base[x - 1][y].is_top_open(
) == True and self.base[x][y - 1].is_side_open() == True:
self.base[x][y] = top_o_side_o[random.randrange(0, 2)]
while self.base[x][
y - 1].get_id() == self.base[x][y].get_id():
self.base[x][y] = top_o_side_o[random.randrange(
0, 2)]
if self.base[x - 1][y].is_top_open(
) == True and self.base[x][y - 1].is_side_open() == False:
self.base[x][y] = top_o_side_c[random.randrange(0, 3)]
while self.base[x][
y - 1].get_id() == self.base[x][y].get_id():
self.base[x][y] = top_o_side_c[random.randrange(
0, 3)]
if self.base[x - 1][y].is_top_open(
) == False and self.base[x][y - 1].is_side_open() == True:
self.base[x][y] = top_c_side_o[random.randrange(0, 3)]
while self.base[x][
y - 1].get_id() == self.base[x][y].get_id():
self.base[x][y] = top_c_side_o[random.randrange(
0, 3)]
if self.base[x - 1][y].is_top_open(
) == False and self.base[x][y - 1].is_side_open() == False:
self.base[x][y] = top_c_side_c[random.randrange(0, 4)]
while self.base[x][
y - 1].get_id() == self.base[x][y].get_id():
self.base[x][y] = top_c_side_c[random.randrange(
0, 4)]
def disp(self):
for y in range(0, self.size):
for x in range(0, self.size):
if self.base[x][y].get_id() == "plus":
print("+", end=' ')
if self.base[x][y].get_id() == "vline":
print("|", end=' ')
if self.base[x][y].get_id() == "hline":
print("-", end=' ')
if self.base[x][y].get_id() == "el_shape":
print("[", end=' ')
if self.base[x][y].get_id() == "inv_el_shape":
print("{", end=' ')
if self.base[x][y].get_id() == "re_el_shape":
print("]", end=' ')
if self.base[x][y].get_id() == "inv_re_el_shape":
print("}", end=' ')
if self.base[x][y].get_id() == "halve_plus_shape":
print("%", end=' ')
if self.base[x][y].get_id() == "temp":
print("e", end=' ')
print("\n")
def maze_builder(self):
for y in range(0, self.size):
for x in range(0, self.size):
temp = self.base[x][y].get_shape()
temp1 = temp[0][0]
temp2 = temp[0][1]
temp3 = temp[0][2]
temp4 = temp[1][0]
temp5 = temp[1][1]
temp6 = temp[1][2]
temp7 = temp[2][0]
temp8 = temp[2][1]
temp9 = temp[2][2]
self.maze[(x * 3) + 1][(y * 3) + 1] = temp1
self.maze[(x * 3) + 1][(y * 3) + 2] = temp2
self.maze[(x * 3) + 1][(y * 3) + 3] = temp3
self.maze[(x * 3) + 2][(y * 3) + 1] = temp4
self.maze[(x * 3) + 2][(y * 3) + 2] = temp5
self.maze[(x * 3) + 2][(y * 3) + 3] = temp6
self.maze[(x * 3) + 3][(y * 3) + 1] = temp7
self.maze[(x * 3) + 3][(y * 3) + 2] = temp8
self.maze[(x * 3) + 3][(y * 3) + 3] = temp9
midpoint = int(((self.size * 3) + 2) / 2)
starty = 0
startx = midpoint
endy = (self.size * 3) + 1
endx = midpoint
self.maze[startx][starty] = 0
self.maze[startx][starty + 1] = 0
self.maze[startx][starty + 2] = 0
self.maze[endx][endy] = 0
self.maze[endx][endy - 1] = 0
self.maze[endx][endy - 2] = 0
self.connect.connect(((startx * ((self.size * 3) + 2)) + starty),
((startx * ((self.size * 3) + 2)) + starty) + 1)
self.connect.connect(((endx * ((self.size * 3) + 2)) + endy),
((endx * ((self.size * 3) + 2)) + endy) - 1)
self.start_c = ((startx * ((self.size * 3) + 2)) + starty)
self.end_c = ((endx * ((self.size * 3) + 2)) + endy)
def dis_maze(self):
for x in range(0, ((self.size * 3) + 2)):
for y in range(0, ((self.size * 3) + 2)):
print(self.maze[x][y], end=' ')
print('\n')
def get_maze(self):
return self.maze
def maze_runner(self):
size = ((self.size * 3) + 2)
for y in range(0, size):
for x in range(0, size):
if y != size - 1 and x != size - 1:
if y != (size - 1):
if self.maze[x][y] == 0 and self.maze[x][y + 1] == 0:
self.connect.connect(((x * size) + y),
((x * size) + y) + 1)
if x != ((self.size * 3) + 1):
if self.maze[x][y] == 0 and self.maze[x + 1][y] == 0:
self.connect.connect(((x * size) + y),
((x * size) + y) + size)
def is_maze_passable(self):
self.maze_runner()
return self.connect.isConnected(self.start_c, self.end_c)
def get_connected(params):
from connected import Connected
activation = get_activation(params.get('activation', "linear"))
return Connected(**params)
class DFAMinimizer:
def __init__(self, dfa, alpha):
self.dfa = dfa
self.alpha = alpha
self.doc = Program.instance().add_doc(MdGfmDoc, "DFA Minimization")
def run(self):
self.find_pairs()
self.find_equiv()
self.simplify()
# Find all pairs of equivalent states
def find_pairs(self):
# Compute inequivalent pairs
# g has edge u-v iff u and v are inequivalent
g = Graph(self.dfa.sc)
# First mark states pair (s0, s1) inequivalent if one is final and not the other
for s0 in range(self.dfa.sc):
for s1 in range(self.dfa.sc):
s0_final = s0 in self.dfa.finals
s1_final = s1 in self.dfa.finals
if s0_final != s1_final:
g.add_edge(s0, s1)
# Iterate to find all inequivalent states
while True:
changed = False
for s0 in range(self.dfa.sc):
for s1 in range(s0 + 1, self.dfa.sc):
if g.has_edge(s0, s1): #already inequivalent
continue
for c in self.alpha.larr:
s0p = self.dfa.trans[s0][c]
s1p = self.dfa.trans[s1][c]
if g.has_edge(s0p, s1p):
#same trans, different state => inequivalent
changed = True
g.add_edge(s0, s1)
break
if not changed:
break
# Reverse graph to get equivalent states
g = g.reverse_adj()
# ignore self-edges, they are not relevant
for v in range(self.dfa.sc):
g.del_edge(v, v)
self.pairs_graph = g
self.doc.h1("Equivalence pairs")
self.doc.write(g)
def find_equiv(self):
# Use connected components to find all equivalent states from pairs
self.conn = Connected(self.pairs_graph)
self.doc.h1('Equivalence states ({} states)'.format(self.conn.count))
for i in range(self.conn.count):
group = self.conn.get_group(i)
self.doc.write('- `{')
for s in group:
self.doc.write('{}; '.format(s))
self.doc.write('}`\n')
def simplify(self):
for i in range(self.conn.count):
group = self.conn.get_group(i)
if len(group) == 1:
continue
main = group[0]
for s in group[1:]:
self.replace_with(s, main)
self.doc.h1('Minimized DFA')
self.doc.write(self.dfa)
self.dfa.check(self.alpha)
# replace state s0 by state s1
# replace all trans[s, c, s0] by [s, c, s1]
# remove all trans [s0, c, c]
# remove s1 from final state
# if s0 is start, set s1 as start
# remove state s1
def replace_with(self, s0, s1):
for s in range(self.dfa.sc):
if s == s0 or len(self.dfa.trans[s]) == 0: #replaced state
continue
for c in self.alpha.larr:
if self.dfa.trans[s][c] == s0:
self.dfa.trans[s][c] = s1
self.dfa.trans[s0] = dict()
if s0 in self.dfa.finals:
self.dfa.finals.remove(s0)
if self.dfa.start == s0:
self.dfa.start = s1