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