Skip to content

Commit

Permalink
Gathered all Arithmetic Rules.
Browse files Browse the repository at this point in the history
  • Loading branch information
tsalh committed Aug 22, 2020
1 parent 801b562 commit 731cd97
Showing 1 changed file with 6 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -289,6 +289,9 @@ private void groundForNonSummation(Constant[] constants, Map<Variable, Integer>
groundSingleNonSummationRule(constants, variableMap, atomManager, resources);

results.addAll(resources.groundRules);
for (GroundRule groundRule : resources.groundRules) {
VizDataCollection.addGroundRule(this, groundRule, variableMap, constants);
}
resources.groundRules.clear();
resources.accessExceptionAtoms.clear();
}
Expand All @@ -310,6 +313,9 @@ private void groundForSummation(Constant[] constants, Map<Variable, Integer> var
groundSingleSummationRule(constants, variableMap, atomManager, resources);

results.addAll(resources.groundRules);
for (GroundRule groundRule : resources.groundRules) {
VizDataCollection.addGroundRule(this, groundRule, variableMap, constants);
}
resources.groundRules.clear();
resources.accessExceptionAtoms.clear();
}
Expand Down

0 comments on commit 731cd97

Please sign in to comment.