Une instruction pour la machine virtuelle UrmCutland. Plus de détails...
Fonctions membres publiques | |
def | __eq__ |
self == value ? | |
def | __init__ |
Initialise l'instruction. | |
def | __ne__ |
self != value ? | |
def | __str__ |
Renvoie l'instruction sous forme d'un string. | |
def | a |
Renvoie le 1er argument de l'instruction. | |
def | b |
Renvoie le 2e argument de l'instruction (ou lève une exception s'il n'y en pas) | |
def | c |
Renvoie le 3e argument de l'instruction (ou lève une exception s'il n'y en pas) | |
def | godelnumber |
Renvoie le "nombre de Gödel" associé à l'instruction. | |
def | inst |
Renvoie le code associé à l'instruction. |
Une instruction pour la machine virtuelle UrmCutland.
Une instruction pour la machine virtuelle UrmCutland
Définition à la ligne 33 du fichier urmCutland.py.
def DSPython.urmCutland.UrmCutlandInstruction.__init__ | ( | self, | |
inst, | |||
a = 1 , |
|||
b = 1 , |
|||
c = 1 |
|||
) |
Initialise l'instruction.
Si inst == Z alors initialise l'instruction à Z(a), si inst == S alors initialise l'instruction à S(a), si inst == T alors initialise l'instruction à T(a,b), si inst == J alors initialise l'instruction à J(a,b,c) Si inst est un string alors tous les espaces ' ' et tabulations '\t' sont ignorés et si inst est 'Z(a)' alors initialise l'instruction à Z(a), si inst est 'S(a)' alors initialise l'instruction à S(a), si inst est 'T(a,b)' alors initialise l'instruction à T(a,b), si inst est 'J(a,b,c)' alors initialise l'instruction à J(a,b,c) Si la syntaxe de inst est incorrecte alors une exception est levée Pre: inst: Z, S, T, J ou string de la forme 'Z(a)', 'S(a)', 'T(a,b)' ou 'J(a,b,c)' avec éventuellement des ' ' et '\t', a, b et c représentants des naturels >= 1 écrits en base 10 Pre: a: naturel >= 1 b: naturel >= 1 c: naturel >= 1 O() = 1
Définition à la ligne 52 du fichier urmCutland.py.
Références DSPython.urmCutland.UrmCutlandInstruction._a, DSPython.urmCutland.UrmCutlandInstruction._b, DSPython.urmCutland.UrmCutlandInstruction._c, DSPython.urmCutland.UrmCutlandInstruction._inst, et DSPython.natural_is().
def DSPython.urmCutland.UrmCutlandInstruction.__eq__ | ( | self, | |
value | |||
) |
self == value ?
Renvoie True si self représente la même instruction que value (càd si même type d'instruction et mêmes arguments), False sinon Result: bool O() = 1
Définition à la ligne 37 du fichier urmCutland.py.
Références DSPython.urmCutland.UrmCutlandInstruction._a, DSPython.urmCutland.UrmCutlandInstruction._b, DSPython.urmCutland.UrmCutlandInstruction._c, et DSPython.urmCutland.UrmCutlandInstruction._inst.
def DSPython.urmCutland.UrmCutlandInstruction.__ne__ | ( | self, | |
value | |||
) |
self != value ?
Renvoie True si self représente une instruction différente de value (càd si type d'instruction différent ou au moins un argument différent), False sinon Result: bool O() = 1
Définition à la ligne 139 du fichier urmCutland.py.
def DSPython.urmCutland.UrmCutlandInstruction.__str__ | ( | self | ) |
Renvoie l'instruction sous forme d'un string.
Renvoie l'instruction sous forme d'un string Result: string O() = 1
Définition à la ligne 152 du fichier urmCutland.py.
Références DSPython.urmCutland.UrmCutlandInstruction._a, DSPython.urmCutland.UrmCutlandInstruction._b, DSPython.urmCutland.UrmCutlandInstruction._c, et DSPython.urmCutland.UrmCutlandInstruction._inst.
def DSPython.urmCutland.UrmCutlandInstruction.a | ( | self | ) |
Renvoie le 1er argument de l'instruction.
Renvoie le 1er argument de l'instruction Result: naturel O() = 1
Définition à la ligne 171 du fichier urmCutland.py.
Références DSPython.urmCutland.UrmCutlandInstruction._a.
Référencé par DSPython.urmCutland.UrmCutlandInstruction.godelnumber().
def DSPython.urmCutland.UrmCutlandInstruction.b | ( | self | ) |
Renvoie le 2e argument de l'instruction (ou lève une exception s'il n'y en pas)
Renvoie le 2e argument de l'instruction (ou lève une exception s'il n'y en pas) Result: naturel O() = 1
Définition à la ligne 181 du fichier urmCutland.py.
Références DSPython.urmCutland.UrmCutlandInstruction._b, et DSPython.urmCutland.UrmCutlandInstruction._inst.
Référencé par DSPython.urmCutland.UrmCutlandInstruction.godelnumber().
def DSPython.urmCutland.UrmCutlandInstruction.c | ( | self | ) |
Renvoie le 3e argument de l'instruction (ou lève une exception s'il n'y en pas)
Renvoie le 3e argument de l'instruction (ou lève une exception s'il n'y en pas) Result: naturel O() = 1
Définition à la ligne 195 du fichier urmCutland.py.
Références DSPython.urmCutland.UrmCutlandInstruction._c, et DSPython.urmCutland.UrmCutlandInstruction._inst.
Référencé par DSPython.urmCutland.UrmCutlandInstruction.godelnumber().
def DSPython.urmCutland.UrmCutlandInstruction.godelnumber | ( | self | ) |
Renvoie le "nombre de Gödel" associé à l'instruction.
Renvoie le "nombre de Gödel" associé à l'instruction, càd 2**n * 3**(a - 1) * 5**(b - 1) * 7**(c - 1) où n == 0, 1, 2 ou 3 pour instruction == Z, S, T ou J Result: naturel >= 1 O() = ...
Définition à la ligne 209 du fichier urmCutland.py.
Références DSPython.cnat32array.Cnat32array.a, DSPython.urmCutland.UrmCutlandInstruction.a(), DSPython.baset.Baset.b, DSPython.urmCutland.UrmCutlandInstruction.b(), DSPython.urmCutland.UrmCutlandInstruction.c(), et DSPython.urmCutland.UrmCutlandInstruction.inst().
def DSPython.urmCutland.UrmCutlandInstruction.inst | ( | self | ) |
Renvoie le code associé à l'instruction.
Renvoie le code associé à l'instruction Result: naturel O() = 1
Définition à la ligne 227 du fichier urmCutland.py.
Références DSPython.urmCutland.UrmCutlandInstruction._inst.
Référencé par DSPython.urmCutland.UrmCutlandInstruction.godelnumber().