public static CUDDNode ToPrecondition(this PlanningParser.EmptyOrPreGDContext context, IReadOnlyDictionary <string, Predicate> predicateDict, StringDictionary assignment) { CUDDNode result; if (context != null) { PlanningParser.GdContext gdContext = context.gd(); if (gdContext != null) { result = gdContext.GetCuddNode(predicateDict, assignment); } else { result = CUDD.ONE; CUDD.Ref(result); } } else { result = CUDD.ONE; CUDD.Ref(result); } return(result); }
/// <summary> /// Exit a parse tree produced by <see cref="PlanningParser.emptyOrPreGD"/>. /// <para>The default implementation does nothing.</para> /// </summary> /// <param name="context">The parse tree.</param> public virtual void ExitEmptyOrPreGD([NotNull] PlanningParser.EmptyOrPreGDContext context) { }