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()); }