Třída SIMSET je druhou standardní systémovou třídou, která obsahuje prostředky pro práci se spojovými seznamy.

KRUHOVÉ SPOJOVÉ SEZNAMY

Spojový seznam – velmi často používaná datová struktura

Práce se spojovými seznamy

Způsob práce se spojovým seznamem a konkrétní složitost obslužných algoritmů jsou závislé na použité organizaci seznamu.

SYSTÉMOVÁ TŘÍDA SIMSET

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Jednosměrný spojový seznam

Jedná se o nejjednodušší strukturu realizující spojový seznam. Každý prvek odkazuje na svého následníka a je zpřístupněn jednou referenční proměnnou, která odkazuje na první prvek.

Zpřístupňující proměnná

Odkaz na následující prvek seznamu

Obsah položky

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Dvousměrný spojový seznam

Každý prvek odkazuje jak na svého předchůdce, tak na svého následníka a zpřístupnění je možné na jednom či druhém či obou koncích. Singulární případy při zařazování či ubírání na některém z konců seznamu.

Zpřístupňují proměnné

Odkaz na následující prvek seznamu

Obsah položky

Odkaz na předcházející prvek seznamu

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Kruhový spojový seznam

Singulární případy lze zamezit kruhovou organizací seznamu,tj. první prvek prohlásíme definitoricky následníkem posledního prvku a poslední prvek předchůdcem prvního. Ke zpřístupnění „ obou konců“ kruhového seznamu stačí jediná referenční proměnná.

Zpřístupňující proměnná

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Reprezentace prázdného seznamu

Zbývající singularita – práce s „ prázdným seznamem“, tj. zařazování prvního a vyjímání poslední prvku seznamu.

Odstranění – přidání speciálního prvku, který nebudeme počítat mezi prvky seznamu a který nebudeme nikdy ze seznamu vypouštět

Speciální prvek

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Prázdný seznam v tomto pojetí bude reprezentován seznamem (stále kruhovým) obsahující pouze zmíněný speciální prvek.

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Filozofie třídy SIMSET

Popsané pojetí cyklických kruhových seznamů obsahujících speciální prvek, který nebudeme počítat mezi vlastní členy seznamu budeme nazývat hlavou seznamu.

Základní datová struktura – stejná jak pro prvky seznamu tak pro jeho hlavu, tj. odpovídající datový prototyp musí obsahovat dvě složky pro referenční odkazy na následníka a předchůdce v seznamu.

Prefixační systém jazyka PC-SIMULA umožňuje, aby datové prototypy vlastních prvků seznamu a jeho hlavy byly kvalifikačně odlišné, tj. ke třídě základní datové struktury vytvoříme dvě podtřídy:

prototyp hlav seznamů

prototyp vlastních prvků seznamů

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

V třídě SIMSET je takové kvalifikační odlišení realizováno.

• základní datový prototyp – třída linkage

o podtřída prototyp hlav seznamů – třída head

o podtřída prototyp vlastních prvků seznamu – třída link

linkage

head link

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Deklarace systémové třídy SIMSET :

class Simset;

begin

class linkage

begin

ref (linkage) SUC, PRED;

….

end;

linkage class head; …;

linkage class link; …;

end ;

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Deklarace třídy linkage:

- základní prototyp struktury řazené do kruhového dvousměrného seznamu

class linkage;

begin

ref(linkage) SUC, PRED;

ref(linkage) procedure suc;

suc:-if SUC in link then SUC else none;

ref(linkage) procedure pred;

pred:-if PRED in link then PRED else none;

ref(linkage) procedure prev;

prev:- PRED;

end ;

- identifikátory složené z velkých písmen označují uživateli nedostupné veličiny

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Třída head:

- prototyp hlavy seznamu, nerozšiřuje třídu linkage

- z uživatelského hlediska je celý seznam reprezentován (zpřístupňován) právě hlavou.

Procedury:

• procedure first – funkční hodnotou je odkaz na první položku v seznamu, pro prázný seznam nabývá hodnoty none

• procedure last – odkazuje na poslední položku seznamu, pro prázný seznam nabývá hodnoty none

• procedure empty – nabývá hodnoty true při prázdném seznamu

• procedure cardinal – funkční hodnotou je celé číslo udávající počet položek seznamu

• procedure clear – odstraňuje všechny položky ze seznamu

SIMULACE DISKRÉTNÍCH SYSTÉMŮ

Třída link:

- Prototyp exemplářů chápaných jako vlastní prvky spojového seznamu. Obsahuje pouze deklarace lokálních procedur – nerozšiřuje třídu linkage

- pouze kvalifikační odlišení vlastních prvků spojového seznamu od jeho hlavy – rozdíl jen v obslužných procedurách

Procedury:

• procedure out – odstraňuje položku ze seznamu

• procedure into(S) – zařazuje položku na konec seznamu

• procedure follow(X) – zařazuje položku do seznamu za objekt odkazovaný parametrem X

• procedure precede(X) – zařazuje položku do seznamu před objekt odkazovaný parametrem X