PicatSolving Class |
Namespace: MAPFsimulator
The PicatSolving type exposes the following members.
Name | Description | |
---|---|---|
![]() | PicatSolving | Initializes a new instance of the PicatSolving class |
Name | Description | |
---|---|---|
![]() | Equals | Determines whether the specified object is equal to the current object. (Inherited from Object.) |
![]() | Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) |
![]() | GetHashCode | Serves as the default hash function. (Inherited from Object.) |
![]() | GetType | Gets the Type of the current instance. (Inherited from Object.) |
![]() | MapfToPicat |
Prevede graf a pozice agentu do souboru, ktery je mozne predlozit Picat resici k vyreseni.
|
![]() | MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
![]() | RunProcess |
Spousti v novem vlakne proces, ve kterem se hleda reseni MAPF problemu v Picatu.
|
![]() | SolveByPicat |
Najde k-robustni reseni MAPF problemu pro graf graph s agenty agents, pomoci SAT resice v jazyce Picat.
V novem vlakne vytvori proces, ve kterem spusti program s Picat resicem a preda mu soubor s deklarativnim modelem a souborem
s definici grafu a polohou agentu.
|
![]() | ToString | Returns a string that represents the current object. (Inherited from Object.) |