Click or drag to resize
PicatSolving Class
Trida pro hledani reseni MAPF problemu v deklarativnim jazyce Picat.
Inheritance Hierarchy
SystemObject
  MAPFsimulatorPicatSolving

Namespace: MAPFsimulator
Assembly: MAPFsimulator (in MAPFsimulator.exe) Version: 1.0.0.0 (1.0.0.0)
Syntax
internal class PicatSolving

The PicatSolving type exposes the following members.

Constructors
  NameDescription
Public methodPicatSolving
Initializes a new instance of the PicatSolving class
Top
Methods
  NameDescription
Public methodEquals
Determines whether the specified object is equal to the current object.
(Inherited from Object.)
Protected methodFinalize
Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection.
(Inherited from Object.)
Public methodGetHashCode
Serves as the default hash function.
(Inherited from Object.)
Public methodGetType
Gets the Type of the current instance.
(Inherited from Object.)
Private methodMapfToPicat
Prevede graf a pozice agentu do souboru, ktery je mozne predlozit Picat resici k vyreseni.
Protected methodMemberwiseClone
Creates a shallow copy of the current Object.
(Inherited from Object.)
Private methodRunProcess
Spousti v novem vlakne proces, ve kterem se hleda reseni MAPF problemu v Picatu.
Public methodSolveByPicat
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.
Public methodToString
Returns a string that represents the current object.
(Inherited from Object.)
Top
See Also