private Tuple <AbstractPredicate, bool> GetAbstractLiteral(PlanningParser.LiteralTermContext context)
{
AbstractPredicate abstractPredicate = GetAbstractPredicate(context.atomicFormulaTerm());
bool isPositive = context.NOT() == null;
return(new Tuple <AbstractPredicate, bool>(abstractPredicate, isPositive));
}
private CUDDNode GetCuddNode(PlanningParser.LiteralTermContext context)
{
CUDDNode subNode = GetCuddNode(context.atomicFormulaTerm());
CUDDNode result;
if (context.NOT() != null)
{
result = CUDD.Function.Not(subNode);
CUDD.Ref(result);
}
else
{
result = subNode;
}
return(result);
}
/// <summary>
/// Exit a parse tree produced by <see cref="PlanningParser.literalTerm"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitLiteralTerm([NotNull] PlanningParser.LiteralTermContext context)
{
}
private void GenerateAbstractPredicates(PlanningParser.LiteralTermContext context, IReadOnlyDictionary <string, Predicate> predDict)
{
GenerateAbstractPredicates(context.atomicFormulaTerm(), predDict);
}
