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: MAPFsimulatorAssembly: MAPFsimulator (in MAPFsimulator.exe) Version: 1.0.0.0 (1.0.0.0)
Syntaxpublic List<Plan> SolveByPicat(
int k,
int[,] graph,
List<Agent> agents
)
Public Function SolveByPicat (
k As Integer,
graph As Integer(,),
agents As List(Of Agent)
) As List(Of Plan)
public:
List<Plan^>^ SolveByPicat(
int k,
array<int,2>^ graph,
List<Agent^>^ agents
)
member SolveByPicat :
k : int *
graph : int[,] *
agents : List<Agent> -> List<Plan>
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