Za účelem zajištění konzistence editovaného systému jsou implementovány v editoru sítě a v třídách grafických elementů pro příslušné editační operace metody zjišťující platnost relevantních podmínek konzistence (viz tabulka na straně ). Tyto metody jsou volány při jednotlivých editačních operacích a manipulaci s hierarchickou strukturou sítí. Přehled využití těchto metod při jednotlivých operacích uvádí tabulka
. Tyto metody se vzájemně volají a využívají dalších pomocných metod.
Table: Přehled metod zjišťujících platnost podmínek konzistence
Výše uvedené metody využívají seznamů volných portů, rozhraní a sběrnic, které jsou dynamicky udržovány v rámci každého editoru sítě. Tyto seznamy jsou implementovány pomocí šablony QList a využíváme je také v metodách realizujících transformaci do CCS (viz násl. odst.). Pro implementaci seznamu volných portů jsme použili třídu QSortedList, jež implementuje algoritmus třídění v čase . Setříděný seznam volných portů podle jména zefektivňuje algoritmus transformace do CCS.