private void HandleDomain(PlanningParser.DomainContext context)
{
Name = context.NAME().GetText();
HandleTypeDefine(context.typeDefine());
//HandlePredicatesDefine(context.predicatesDefine());
//HandleActionsDefine(context.actionDefine());
}
public static Domain CreateInstance(PlanningParser.DomainContext context)
{
Domain result = new Domain();
result.HandleDomain(context);
return(result);
}
private ClientProblem(PlanningParser.DomainContext domainContext, PlanningParser.ClientProblemContext problemContext)
{
_currentCuddIndex = 0;
DomainName = domainContext.NAME().GetText();
ProblemName = problemContext.problemName().GetText();
AgentId = problemContext.agentId().GetText();
Console.WriteLine("Agent id: {0}", AgentId);
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();
HandleInitKnowledge(problemContext.initKnowledge());
Console.WriteLine("Finishing handling init knowledge!");
HandleInitBelief(problemContext.initBelief());
Console.WriteLine("Finishing handling init belief!");
GenerateAgentList();
Console.WriteLine("Finishing generating agent list!");
}
public override void EnterDomain(PlanningParser.DomainContext context)
{
Domain.Name = context.NAME().GetText();
}
public static ServerProblem CreateInstance(PlanningParser.DomainContext domainContext, PlanningParser.ServerProblemContext context)
{
ServerProblem result = new ServerProblem(domainContext, context);
return(result);
}
public static ClientProblem CreateInstance(PlanningParser.DomainContext domainContext, PlanningParser.ClientProblemContext context)
{
ClientProblem result = new ClientProblem(domainContext, context);
return(result);
}
/// <summary>
/// Exit a parse tree produced by <see cref="PlanningParser.domain"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitDomain([NotNull] PlanningParser.DomainContext context)
{
}
