Click or drag to resize
PicatSolvingSolveByPicat Method
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.

Namespace: MAPFsimulator
Assembly: MAPFsimulator (in MAPFsimulator.exe) Version: 1.0.0.0 (1.0.0.0)
Syntax
public List<Plan> SolveByPicat(
	int k,
	int[,] graph,
	List<Agent> agents
)

Parameters

k
Type: SystemInt32

[Missing <param name="k"/> documentation for "M:MAPFsimulator.PicatSolving.SolveByPicat(System.Int32,System.Int32[0:,0:],System.Collections.Generic.List{MAPFsimulator.Agent})"]

graph
Type: SystemInt32

[Missing <param name="graph"/> documentation for "M:MAPFsimulator.PicatSolving.SolveByPicat(System.Int32,System.Int32[0:,0:],System.Collections.Generic.List{MAPFsimulator.Agent})"]

agents
Type: System.Collections.GenericListAgent

[Missing <param name="agents"/> documentation for "M:MAPFsimulator.PicatSolving.SolveByPicat(System.Int32,System.Int32[0:,0:],System.Collections.Generic.List{MAPFsimulator.Agent})"]

Return Value

Type: ListPlan

[Missing <returns> documentation for "M:MAPFsimulator.PicatSolving.SolveByPicat(System.Int32,System.Int32[0:,0:],System.Collections.Generic.List{MAPFsimulator.Agent})"]

See Also