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 :

• DSPython/urmCutland.py