EmbASP-CSharp
PDDLMapper.cs
1 using it.unical.mat.parsers.pddl;
2 using System;
3 using System.Collections.Generic;
4 
6 {
7 
8  using IllegalTermException = it.unical.mat.embasp.languages.asp.IllegalTermException;
9 
10  public class PDDLMapper : Mapper
11  {
12  private static PDDLMapper mapper;
13 
14  public static PDDLMapper Instance
15  {
16  get
17  {
18  if (PDDLMapper.mapper == null)
19  PDDLMapper.mapper = new PDDLMapper();
20  return PDDLMapper.mapper;
21  }
22  }
23 
24  private PDDLMapper() : base() { }
25 
26  protected internal override string GetActualString(string predicate, Dictionary<int, object> parametersMap) => null;
27 
28  protected internal override string GetId(string @string)
29  {
30  // I assume that the string is like (zoom plane1 city4 city1 fl4 fl3 fl2)
31  int initialB = @string.IndexOf("(");
32 
33  if (initialB != 0)
34  throw new System.ArgumentException("Wrong format");
35 
36  return @string.Substring(1, @string.IndexOf(' ') - 1);
37  }
38 
39  protected internal override string[] GetParam(string @string) => PDDLParser.Parse(@string).GetParameters();
40  }
41 }
it.unical.mat.embasp.languages
Definition: AnswerSet.cs:5
base
Definition: Callback.cs:1
it.unical.mat.embasp.languages.Mapper
Definition: Mapper.cs:8
it.unical.mat.parsers.pddl.PDDLParser
Definition: PDDLParser.cs:8
it.unical.mat.embasp
Definition: AnswerSet.cs:5
it.unical
Definition: AnswerSet.cs:5
it.unical.mat.parsers.pddl
Definition: IPDDLDataCollection.cs:1
it.unical.mat.embasp.languages.asp.IllegalTermException
Definition: IllegalTermException.cs:5
it
Definition: AnswerSet.cs:5
it.unical.mat.embasp.languages.pddl.PDDLMapper
Definition: PDDLMapper.cs:10
it.unical.mat.embasp.languages.pddl
Definition: Action.cs:1
it.unical.mat.embasp.languages.asp
Definition: AnswerSet.cs:5
it.unical.mat.parsers
Definition: ASPParser.cs:6
it.unical.mat
Definition: AnswerSet.cs:5