Click or drag to resize
MAPFsimulator Namespace

[Missing <summary> documentation for "N:MAPFsimulator"]

Classes
  ClassDescription
Protected classAgent
Trida popisujici agenta. Kazdy agent ma svuj pocatecni a cilovy vrchol a svuj identifikator.
Public classAgentsLoading
Trida zobrazujici nove okno s moznosti vyberu poctu agentu pridavanych do grafu. Instance se vytvari po vyberu souboru s pozicemi agentu (.scen) v hlavnim menu.
Protected classAlternativeK_rob
Konkretni implementace robustnosti pomoci contingency planning - alternativni k-robustnost.
Protected classAStar
Trida s implementaci (rozsireneho) prohledavaciho algortimu A*.
Private classAStarLowLevelNode
Trida s reprezentaci uzlu, ktery pouzivame v ramci algoritmu A*. Uzel obsahuje informaci o vrcholu, case, predchudci a hodnote sve funkce g.
Protected classAStarForContingencyPlan
Upravena verze algoritmu, kterou pouzivame pri hledani alternativnich planu.
Protected classAStarForModifiedMapf
Upraveny algoritmus A*, kterym hledame cesty pro modifikovany MAPF problem v ramci strikni alternativnu k-robustnosti.
Public classBenchmarksRuns
Trida zajistujici provadeni testu.
Protected classCBSsolverT
Implementace algoritmu CBS pro MAPF s ucelovou funkci T.
Private classCBSsolverTCBSNode
Trida s implementaci uzlu, ktery pouzivame v algoritmu CBS. Kazdy uzel obsahuje mnozinu podminek, (castecne) reseni, a cenu vypocitanou dle ucelove funkce.
Protected classCBSsolverForModifiedMapfT
Trida s implementaci CBS algoritmu pro modifikovany MAPF problem. Detekuje vrcholovy konflikt a konflikt vymeny vrcholu.
Protected classCBSwithSwappingT
Trida rozsirujici tridu CBSsolver o detekci konfliktu vymeny vrcholu.
Protected classConflict
Trida reprezentujici vrcholovy konflikt. Konflikt je vzdy mezi dvema agenty (agentID1 a agentID2) v urcitem case (time), vrcholu (vertex) s dobou trvani (duration).
Protected classConstraint
Trida reprezentujici podminku, kterou si vynucuji vrcholove (a k-delay) konflikty.
Protected classContigencyExecution
Exekuce planu, s upravami pro stromove plany. Oproti klasicke exekuci musime hlidat vypocet abstraktnich pozic nasledniku - v normalnim pripade se jedna vzdy o posun o 1, zde to muze byt vic (pri presunu z hlavni na alternativni cestu)
Protected classContigencyRobustness
Trida s implementaci algoritmu na hledani robustnich planu zalozenych na technice contingency planning. Cast je spolecna pro alternativni k-robustnost a semi k-robustnost.
Protected classContingencyPlan
Plan s alternativami - trida rozsirujici puvodni sekvenci plan na plan se stromovou strukturou. Vyuziva ho alternatvni a semi k-robustnost.
Protected classDoubleGenerator
Trida s jedinou instanci generatoru desetinnych cisel. Pouzivame v exekuci pri rozhodovani, zda nastalo zpozdeni.
Protected classDoubleToInt
Protected classExecution
Trida zajistujici provadeni planu. Simuluje exekuci planu s urcitou pravdepodobnosti zpozdeni a detekuje vrcholove konflikty a konflikty vymeny vrcholu.
Public classForm1
Main class designer.
Protected classGraph
Reprezentace grafu, ve kterem se agenti pohybuji.
Protected classI_k_CBSsolverT
Trida rozsirujici CBSsolver o detekci k-delay konfliktu. Timto algoritmem hledame k-robustni plany.
Public classIntGenerator
Trida s jedinou instanci generatoru prirozenych cisel. Pouzivame k nahodnemu vyberu agentu do instanci.
Protected classMakespan
Ucelova funkce makespan - maximum z delek planu jednotlivych agentu.
Protected classMapfModel
Trida sdruzujici data MAPF problemu. Obsahuje graf, agenty s pocatecnimi a cilovymi vrcholy a reseni (pokud bylo nalezeno).
Protected classMapfView
Trida poskytujici grafickou reprezentaci dat o MAPF problemu.
Protected classMin_MaxRobustExecution
Exekuce planu, s upravami min/max robustnost. Oproti klasicke exekuci pouzivame notaci poradove cislo vrcholu + cast hrany. Dale take umoznujeme menit rychlost, se kterou se agenti v grafu pohybuji.
Protected classModifiedMakespan
Makespan pro modifikovany MAPF problem - cas dokonceni nejpozdejsiho planu.
Protected classPicatSolving
Trida pro hledani reseni MAPF problemu v deklarativnim jazyce Picat.
Public classPicatTimeWindow
Protected classPlan
Datova struktura uchovavajici plan agenta v MAPF problemu. Plan je List vrcholu (struktura Vertex).
Protected classPlanProcessing
Trida pro pocitani datovych struktur, ktera nas zajimaji pro tvorbe robustnich planu zalozanych na planovani s alternativami.
Protected classPlanTable
Trida s oknem zobrazujici konkretni exekuci planu v ramci okna s benchmarky.
Protected classProgram
Public classRegularBinaryHeapValue
Implementace binarni haldy. Pouziti v algoritmech CBS a A*. Jedná se o upravenou implementaci haldy z volne dostupneho projektu dostupneho na adrese http://www.ms.mff.cuni.cz/~truno7am/cvikoUI1/Sokoban.zip.
Private classRegularBinaryHeapValueTreeNodeKey, TheValue
Protected classReservation
Trida spravujici casove intervaly jednotlivych agentu - pouziti pro jednotlive vrcholy grafu.
Protected classSemiK_rob
Konkretni implementace robustnosti pomoci contingency planning - semi k-robustnost.
Protected classSetOfColors
Trida obsahujici mnoziny barev pro agenty.
Public classSettings
Trida definujici okno, ktere se zobrazi po stisku polozky Soubor -> Nastaveni v Menu programu.
Protected classSumOfCosts
Ucelova funkce SoC - soucet delek planu jednotlivych agentu.
Protected classSwapConflict
Trida reprezentujici konflikt vymeny vrcholu Tento konflikt je odvozen od vrcholoveho konfliktu (trida Conflict), navic pridavame informaci o predchudci vrcholu vertex.
Protected classSwapConstraint
Trida reprezentujici podminku, kterou si vynucuji konflikty vymeny vrcholu.
Protected classTestConstraint
Omezeni pouzivane pouze v ramci algoritmu A* - umoznuje rychle eliminovat kandidaty na nasledniky vrcholu.
Protected classWaitAddingRobustness
Trida s implementaci algoritmu, ktery zajistuje robustnost pomoci pridani wait akci.
Structures
  StructureDescription
Protected structureCondition
Podminka na vybrani alternativniho planu. Pouziti: z vrcholu x lze jit do vrcholu s poradovym cislem successor, pokud je zpozdeni v intervalu [min, max].
Protected structureSafeSpace
Struktura uchovavajici udaj o delce bezpecneho intervalu agenta v danem case a vrcholu.
Public structureVertex
Dvojice - pouziti pro souradnice grafu
Interfaces
Enumerations
  EnumerationDescription
Protected enumerationRobustnessType
Vycet dostupnych typu robustnich planu.
Protected enumerationSolver
Vycet s dostupnymi resici.
Protected enumerationState
Vycet stavu, kterymi prochazi program (pri reseni MAPF v hlavnim okne aplikace).