DSPython  00.03.03 — 25 juin 2012
 Tout Classes Espaces de nommage Fichiers Fonctions Variables Pages
Fonctions | Variables
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.

[combinatorTk_th.png]
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.