Référence du fichier combinatorTk.py

Application Combinator Tk permettant de manipuler les combinateurs. Plus de détails...

Aller au code source de ce fichier.

Fonctions
def	combinatorTk.unichr
	Remplacement de la fonction disparue dans Python 3.
def	combinatorTk.comb_to_str
	Renvoie le combinateur c sous forme de string.
def	combinatorTk.cmd_about
	MessageBox About...
def	combinatorTk.cmd_change_delay
	Initialise sleep_delay avec la valeur saisie.
def	combinatorTk.cmd_change_step
	Initialise nb_eval_step avec la valeur saisie.
def	combinatorTk.cmd_change_numeral
	Initialise numeral avec la valeur saisie.
def	combinatorTk.cmd_clear
	Callback pour le Button 'Clear'.
def	combinatorTk.cmd_comb_update
	Mise à jour.
def	combinatorTk.cmd_eval
	Table de translation : [] ou {} –> ()
def	combinatorTk.cmd_insert_comb
	Ajoute le combinateur c à la fin du champ de saisie tk_Entry_comb.
def	combinatorTk.cmd_quit
	Callback pour le Button 'Quit'.
def	combinatorTk.cmd_stop
	Callback pour le Button 'Stop'.
def	combinatorTk.cmd_to_var_x
	Copie le combinateur courant dans la "méta-variable" x.
def	combinatorTk.cmd_to_var_y
	Copie le combinateur courant dans la "méta-variable" y.
def	combinatorTk.cmd_to_var_z
	Copie le combinateur courant dans la "méta-variable" z.

Variables
string	combinatorTk.VERSION = 'v.00.07 --- 2010 April 12'
	Version.
	combinatorTk.comb = None
	Combinateur courant (ou None si champ de saisie vide ou incorrect)
int	combinatorTk.nb_eval = 0
	Nombre d'étapes évaluées.
int	combinatorTk.nb_eval_step = 1
	Nombre d'étapes à évaluer d'un coup.
int	combinatorTk.numeral = 0
	Naturel pour combinateur.
	combinatorTk.pause = False
	Si True alors suspend l'évaluation en cours.
	combinatorTk.running = False
	Si True alors une évaluation est en cours.
int	combinatorTk.sleep_delay = 100
	Durée en ms de l'attente entre deux exécutions (si tk_Var_sleep)
tuple	combinatorTk.tk_Win = tk.Tk()
	Fenêtre principale.
tuple	combinatorTk.tk_Font_monospace = tkFont.Font(tk_Win, size=10, family='courier')
	Police de caractères à taille fixe.
tuple	combinatorTk.tk_Font_monospace8 = tkFont.Font(tk_Win, size=8, family='courier')
	Police de caractères à taille fixe.
tuple	combinatorTk.tk_Var_numeral_Church = tk.BooleanVar()
	Si True alors numeral est transformé en naturel de Church.
tuple	combinatorTk.tk_Var_show_allparent = tk.BooleanVar()
	Si True alors affiche toutes les parenthèses dans les combinateurs.
tuple	combinatorTk.tk_Var_show_space = tk.BooleanVar()
	Si True alors affiche les espaces dans les combinateurs.
tuple	combinatorTk.tk_Var_sleep = tk.BooleanVar()
	Si True alors temporise entre chaque instruction exécutée.

---

Description détaillée

Application Combinator Tk permettant de manipuler les combinateurs.

Cf. http://www.opimedia.be/Bruno_Marchal/index.htm#Theo
et http://fr.wikipedia.org/wiki/Logique_combinatoire pour une présentation de la logique combinatoire.

Définition dans le fichier combinatorTk.py.