mirror of
https://github.com/shlomif/PySolFC.git
synced 2025-04-05 00:02:29 -04:00
307 lines
10 KiB
Python
307 lines
10 KiB
Python
#!/usr/bin/env python
|
|
# -*- mode: python; coding: utf-8; -*-
|
|
##---------------------------------------------------------------------------##
|
|
##
|
|
## Copyright (C) 1998-2003 Markus Franz Xaver Johannes Oberhumer
|
|
## Copyright (C) 2003 Mt. Hood Playing Card Co.
|
|
## Copyright (C) 2005-2009 Skomoroh
|
|
##
|
|
## This program is free software: you can redistribute it and/or modify
|
|
## it under the terms of the GNU General Public License as published by
|
|
## the Free Software Foundation, either version 3 of the License, or
|
|
## (at your option) any later version.
|
|
##
|
|
## This program is distributed in the hope that it will be useful,
|
|
## but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
## GNU General Public License for more details.
|
|
##
|
|
## You should have received a copy of the GNU General Public License
|
|
## along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
##
|
|
##---------------------------------------------------------------------------##
|
|
|
|
__all__ = [
|
|
#'SolverDialog',
|
|
'create_solver_dialog',
|
|
'connect_game_solver_dialog',
|
|
'destroy_solver_dialog',
|
|
'reset_solver_dialog',
|
|
]
|
|
|
|
# imports
|
|
import tkinter
|
|
from . import ttk
|
|
|
|
# PySol imports
|
|
from pysollib.mygettext import _, n_
|
|
from pysollib.settings import TITLE
|
|
from pysollib.mfxutil import KwStruct
|
|
|
|
# Toolkit imports
|
|
from .tkconst import EVENT_HANDLED
|
|
from .tkwidget import MfxDialog
|
|
from .tkwidget import PysolCombo
|
|
|
|
|
|
# ************************************************************************
|
|
# *
|
|
# ************************************************************************
|
|
|
|
class SolverDialog(MfxDialog):
|
|
|
|
def __init__(self, parent, app, **kw):
|
|
self.parent = parent
|
|
self.app = app
|
|
title = TITLE+' - FreeCell Solver'
|
|
kw = self.initKw(kw)
|
|
MfxDialog.__init__(self, parent, title, kw.resizable, kw.default)
|
|
top_frame, bottom_frame = self.createFrames(kw)
|
|
self.createBitmaps(top_frame, kw)
|
|
#
|
|
self.solving_methods = {
|
|
'A*': 'a-star',
|
|
'Breadth-First Search': 'bfs',
|
|
'Depth-First Search': 'soft-dfs', # default
|
|
'A randomized DFS': 'random-dfs',
|
|
##'"Soft" DFS': 'soft-dfs',
|
|
}
|
|
self.games = {} # key: gamename; value: gameid
|
|
|
|
#
|
|
frame = ttk.Frame(top_frame)
|
|
frame.pack(expand=True, fill='both', padx=4, pady=4)
|
|
frame.columnconfigure(1, weight=1)
|
|
|
|
#
|
|
row = 0
|
|
ttk.Label(frame, text=_('Game:'), anchor='w'
|
|
).grid(row=row, column=0, sticky='ew', padx=2, pady=2)
|
|
games = app.getGamesForSolver()
|
|
gamenames = ['']
|
|
for id in games:
|
|
name = app.getGameTitleName(id)
|
|
gamenames.append(name)
|
|
self.games[name] = id
|
|
gamenames.sort()
|
|
self.gamenames = gamenames
|
|
cb = PysolCombo(frame, values=tuple(gamenames),
|
|
selectcommand=self.gameSelected,
|
|
state='readonly', width=40)
|
|
cb.grid(row=row, column=1, sticky='ew', padx=2, pady=2)
|
|
self.games_var = cb
|
|
|
|
#
|
|
row += 1
|
|
ttk.Label(frame, text=_('Preset:'), anchor='w'
|
|
).grid(row=row, column=0, sticky='ew', padx=2, pady=2)
|
|
presets = app.opt.solver_presets
|
|
self.presets = presets
|
|
cb = PysolCombo(frame, values=tuple(presets), state='readonly')
|
|
cb.grid(row=row, column=1, sticky='ew', padx=2, pady=2)
|
|
cb.current(0)
|
|
self.preset_var = cb
|
|
|
|
#
|
|
row += 1
|
|
self.max_iters_var = tkinter.IntVar()
|
|
self.max_iters_var.set(10e4)
|
|
ttk.Label(frame, text=_('Max iterations:'), anchor='w'
|
|
).grid(row=row, column=0, sticky='ew', padx=2, pady=2)
|
|
spin = tkinter.Spinbox(frame, bg='white', from_=1000, to=10e6,
|
|
increment=1000, textvariable=self.max_iters_var)
|
|
spin.grid(row=row, column=1, sticky='w', padx=2, pady=2)
|
|
|
|
#
|
|
row += 1
|
|
self.max_depth_var = tkinter.IntVar()
|
|
self.max_depth_var.set(1000)
|
|
ttk.Label(frame, text=_('Max depth:'), anchor='w'
|
|
).grid(row=row, column=0, sticky='ew', padx=2, pady=2)
|
|
spin = tkinter.Spinbox(frame, bg='white', from_=100, to=10000,
|
|
increment=100, textvariable=self.max_depth_var)
|
|
spin.grid(row=row, column=1, sticky='w', padx=2, pady=2)
|
|
|
|
#
|
|
row += 1
|
|
self.progress_var = tkinter.BooleanVar()
|
|
self.progress_var.set(True)
|
|
w = ttk.Checkbutton(frame, variable=self.progress_var,
|
|
text=_('Show progress'))
|
|
w.grid(row=row, column=0, columnspan=2, sticky='ew', padx=2, pady=2)
|
|
|
|
#
|
|
label_frame = ttk.LabelFrame(top_frame, text=_('Progress'))
|
|
label_frame.pack(expand=True, fill='both', padx=6, pady=2)
|
|
#label_frame.columnconfigure(0, weight=1)
|
|
label_frame.columnconfigure(1, weight=1)
|
|
|
|
#
|
|
frow = 0
|
|
ttk.Label(label_frame, text=_('Iteration:'), anchor='w'
|
|
).grid(row=frow, column=0, sticky='ew', padx=4, pady=2)
|
|
lb = ttk.Label(label_frame, anchor='w')
|
|
lb.grid(row=frow, column=1, sticky='ew', padx=4, pady=2)
|
|
self.iter_label = lb
|
|
frow += 1
|
|
ttk.Label(label_frame, text=_('Depth:'), anchor='w'
|
|
).grid(row=frow, column=0, sticky='ew', padx=4, pady=2)
|
|
lb = ttk.Label(label_frame, anchor='w')
|
|
lb.grid(row=frow, column=1, sticky='ew', padx=4, pady=2)
|
|
self.depth_label = lb
|
|
frow += 1
|
|
ttk.Label(label_frame, text=_('Stored-States:'), anchor='w'
|
|
).grid(row=frow, column=0, sticky='ew', padx=4, pady=2)
|
|
lb = ttk.Label(label_frame, anchor='w')
|
|
lb.grid(row=frow, column=1, sticky='ew', padx=4, pady=2)
|
|
self.states_label = lb
|
|
|
|
#
|
|
lb = ttk.Label(top_frame, anchor='w')
|
|
lb.pack(expand=True, fill='x', padx=6, pady=4)
|
|
self.result_label = lb
|
|
|
|
#
|
|
focus = self.createButtons(bottom_frame, kw)
|
|
self.start_button = self.buttons[0]
|
|
self.play_button = self.buttons[1]
|
|
self._reset()
|
|
self.connectGame(self.app.game)
|
|
self.mainloop(focus, kw.timeout, transient=False)
|
|
|
|
def initKw(self, kw):
|
|
strings=[_('&Start'), _('&Play'), _('&New'), 'sep', _('&Close'),]
|
|
kw = KwStruct(kw,
|
|
strings=strings,
|
|
default=0,
|
|
)
|
|
return MfxDialog.initKw(self, kw)
|
|
|
|
def mDone(self, button):
|
|
if button == 0:
|
|
self.startSolving()
|
|
elif button == 1:
|
|
self.startPlay()
|
|
elif button == 2:
|
|
self.app.menubar.mNewGame()
|
|
elif button == 3:
|
|
global solver_dialog
|
|
solver_dialog = None
|
|
self.destroy()
|
|
return EVENT_HANDLED
|
|
|
|
def mCancel(self, *event):
|
|
return self.mDone(3)
|
|
|
|
def wmDeleteWindow(self, *event):
|
|
return self.mDone(3)
|
|
|
|
def gameSelected(self, *event):
|
|
name = self.games_var.get()
|
|
if not name:
|
|
return
|
|
id = self.games[name]
|
|
self.app.menubar._mSelectGame(id)
|
|
|
|
def connectGame(self, game):
|
|
name = self.app.getGameTitleName(game.id)
|
|
if name in self.gamenames:
|
|
self.start_button.config(state='normal')
|
|
i = self.gamenames.index(name)
|
|
self.games_var.current(i)
|
|
else:
|
|
self.start_button.config(state='disabled')
|
|
self.games_var.current(0)
|
|
self.play_button.config(state='disabled')
|
|
|
|
def _reset(self):
|
|
self.play_button.config(state='disabled')
|
|
self.setText(iter='', depth='', states='')
|
|
self.result_label['text'] = ''
|
|
self.top.update_idletasks()
|
|
|
|
def reset(self):
|
|
self.play_button.config(state='disabled')
|
|
|
|
def startSolving(self):
|
|
from gettext import ungettext
|
|
|
|
self._reset()
|
|
game = self.app.game
|
|
solver = game.Solver_Class(game, self) # create solver instance
|
|
game.solver = solver
|
|
preset = self.preset_var.get()
|
|
max_iters = self.max_iters_var.get()
|
|
max_depth = self.max_depth_var.get()
|
|
progress = self.progress_var.get()
|
|
solver.config(preset=preset, max_iters=max_iters,
|
|
max_depth=max_depth, progress=progress)
|
|
solver.computeHints()
|
|
hints_len = len(solver.hints)-1
|
|
if hints_len > 0:
|
|
t = ungettext('This game is solveable in %d move.',
|
|
'This game is solveable in %d moves.',
|
|
hints_len) % hints_len
|
|
self.result_label['text'] = t
|
|
self.play_button.config(state='normal')
|
|
else:
|
|
self.result_label['text'] = (_('I could not solve this game.') if solver.solver_state == 'unsolved' else _('Iterations count exceeded (Intractable)'))
|
|
self.play_button.config(state='disabled')
|
|
|
|
def startPlay(self):
|
|
self.play_button.config(state='disabled')
|
|
self.start_button.focus()
|
|
if self.app.game.pause:
|
|
self.app.menubar.mPause()
|
|
self.app.top.tkraise()
|
|
self.app.top.update_idletasks()
|
|
self.app.top.update()
|
|
self.app.top.after(200)
|
|
self.app.game.startDemo(level=3)
|
|
|
|
def setText(self, **kw):
|
|
if 'iter' in kw:
|
|
self.iter_label['text'] = kw['iter']
|
|
if 'depth' in kw:
|
|
self.depth_label['text'] = kw['depth']
|
|
if 'states' in kw:
|
|
self.states_label['text'] = kw['states']
|
|
self.top.update_idletasks()
|
|
|
|
|
|
|
|
solver_dialog = None
|
|
|
|
def create_solver_dialog(parent, game):
|
|
global solver_dialog
|
|
try:
|
|
solver_dialog.top.wm_deiconify()
|
|
solver_dialog.top.tkraise()
|
|
except:
|
|
##traceback.print_exc()
|
|
solver_dialog = SolverDialog(parent, game)
|
|
|
|
def connect_game_solver_dialog(game):
|
|
try:
|
|
solver_dialog.connectGame(game)
|
|
except:
|
|
pass
|
|
|
|
def destroy_solver_dialog():
|
|
global solver_dialog
|
|
try:
|
|
solver_dialog.destroy()
|
|
except:
|
|
##traceback.print_exc()
|
|
pass
|
|
solver_dialog = None
|
|
|
|
|
|
def reset_solver_dialog():
|
|
if solver_dialog:
|
|
try:
|
|
solver_dialog.reset()
|
|
except:
|
|
##traceback.print_exc()
|
|
pass
|
|
|