private ServerProblem(PlanningParser.DomainContext domainContext, PlanningParser.ServerProblemContext problemContext)
{
_currentCuddIndex = 0;
DomainName = domainContext.NAME().GetText();
ProblemName = problemContext.problemName().GetText();
Console.WriteLine("Finishing setting name!");
Globals.TermInterpreter = new TermInterpreter(problemContext.numericSetting(), domainContext.typeDefine(),
problemContext.objectDeclaration());
Console.WriteLine("Finishing genertating term interpreter!");
GenerateAgentDict();
Console.WriteLine("Finishing genertating agent!");
HandlePredicateDefine(domainContext.predicateDefine());
Console.WriteLine("Finishing handling predicate!");
//Console.ReadLine();
HandleEventsDefine(domainContext.eventDefine());
Console.WriteLine("Finishing handling event define!");
//Console.ReadLine();
HandleActionsDefine(domainContext.actionDefine());
Console.WriteLine("Finishing handling action define!");
//Console.ReadLine();
HandleObservationsDefine(domainContext.observationDefine());
Console.WriteLine("Finishing handling observation define!");
//Console.ReadLine();
HandleInit(problemContext.init());
Console.WriteLine("Finishing handling init object base!");
GenerateAgentList();
Console.WriteLine("Finishing generating agent list!");
}
public override void EnterServerProblem(PlanningParser.ServerProblemContext context)
{
Problem.Name = context.problemName().GetText();
Problem.DomainName = context.domainName().GetText();
}
public static ServerProblem CreateInstance(PlanningParser.DomainContext domainContext, PlanningParser.ServerProblemContext context)
{
ServerProblem result = new ServerProblem(domainContext, context);
return(result);
}
/// <summary>
/// Exit a parse tree produced by <see cref="PlanningParser.serverProblem"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitServerProblem([NotNull] PlanningParser.ServerProblemContext context)
{
}
