public override object VisitAnswer_set(DLV2Parser.Answer_setContext context)
{
answerSets.AddAnswerSet();
if (context.cost() != null && !context.cost().IsEmpty)
{
costs = new Dictionary <int, int>();
string[] FirstCost = context.cost().COST_LABEL().GetText().Split(' ')[1].Split('@');
costs[Int32.Parse(FirstCost[1])] = Int32.Parse(FirstCost[0]);
}
if (costs != null)
{
foreach (KeyValuePair <int, int> entry in costs)
{
answerSets.StoreCost(entry.Key, entry.Value);
}
}
return(VisitChildren(context));
}
public override object VisitAnswer_set(ClingoParser.Answer_setContext context)
{
answerSets.AddAnswerSet();
return(VisitChildren(context));
}
public override object VisitModel(DLVHEXParser.ModelContext context)
{
answerSets.AddAnswerSet();
return(VisitChildren(context));
}