private void HandleInitBelief(PlanningParser.InitBeliefContext context)
{
if (context != null)
{
StringDictionary assignment = new StringDictionary();
InitBelief = context.gd().GetCuddNode(_predicateDict, assignment);
InitBelief = CUDD.Function.And(InitBelief, _exclusiveAxiom);
}
else
{
InitBelief = InitKnowledge;
CUDD.Ref(InitBelief);
CUDD.Deref(_exclusiveAxiom);
}
}
/// <summary>
/// Exit a parse tree produced by <see cref="PlanningParser.initBelief"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitInitBelief([NotNull] PlanningParser.InitBeliefContext context)
{
}
public override void EnterInitBelief(PlanningParser.InitBeliefContext context)
{
Problem.GenerateBelief(context.gdName());
}
