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)
{
}
