DSPython  00.03.03 — 25 juin 2012
Fonctions membres publiques
Référence de la classe DSPython.urmCutland.UrmCutlandInstruction

Une instruction pour la machine virtuelle UrmCutland. Plus de détails...

Liste de tous les membres

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.

Description détaillée

Une instruction pour la machine virtuelle UrmCutland.

Une instruction pour la machine virtuelle UrmCutland

Définition à la ligne 33 du fichier urmCutland.py.


Documentation des constructeurs et destructeur

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().


Documentation des fonctions membres

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().


La documentation de cette classe a été générée à partir du fichier suivant :