public override object VisitModel(ClingoParser.ModelContext context) { string cost = context.NEW_LINE().GetText().Trim(); if (cost.Length > 1) { string[] tokens = cost.Split(' '); int levels = tokens.Length - 1; for (int i = 1; i < tokens.Length; i++) { answerSets.StoreCost(levels--, Int32.Parse(tokens[i])); } } return(VisitChildren(context)); }
/// <summary> /// Visit a parse tree produced by <see cref="ClingoParser.model"/>. /// <para> /// The default implementation returns the result of calling <see cref="AbstractParseTreeVisitor{Result}.VisitChildren(IRuleNode)"/> /// on <paramref name="context"/>. /// </para> /// </summary> /// <param name="context">The parse tree.</param> /// <return>The visitor result.</return> public virtual Result VisitModel([NotNull] ClingoParser.ModelContext context) { return(VisitChildren(context)); }