add statistiscs

fclingo/__main__.py

@@ -29,6 +29,7 @@ def __init__(self):
         self.translate_program = 0
         self.constraints_added = 0
         self.rules_added = 0
+        self.variables_added = 0
 
 
 class AppConfig:
@@ -150,6 +151,7 @@ def _on_statistics(self, step, akku):
         translation = fclingo["Translation time in seconds"]
         translation["AST rewriting"] = self.stats.rewrite_ast
         translation["Translation"] = self.stats.translate_program
+        fclingo["Number of variables added"] = self.stats.variables_added
         fclingo["Number of constraints added"] = self.stats.constraints_added
         fclingo["Number of rules added"] = self.stats.rules_added
         return True

fclingo/translator.py

@@ -231,10 +231,12 @@ def _add_auxvar(self):
             clingo.TheoryTermType.Function,
         )
         self._auxvars += 1
+        self._stats.variables_added+=1
         return var
 
     def _add_atom(self, symbol=None):
         with self._prg.backend() as backend:
+            self._stats.constraints_added+=1
             if symbol:
                 return backend.add_atom(symbol)
             return backend.add_atom()
@@ -256,6 +258,7 @@ def _search_atom(self, lit):
 
     def _add_rule(self, head, body, choice=False):
         with self._prg.backend() as backend:
+            self._stats.rules_added+=1
             backend.add_rule(head, body, choice)
         if self._config.print_trans:
             head_atoms = []