Add type hints to Settings.

Author: rpgoldman

popper/util.py

@@ -5,7 +5,7 @@
 from contextlib import contextmanager
 from itertools import permutations
 from time import perf_counter
-from typing import NamedTuple, Optional, Dict
+from typing import NamedTuple, Optional, Dict, Tuple, Any
 
 import clingo
 import clingo.script
@@ -256,6 +256,12 @@ def flatten(xs):
 
 
 class Settings:
+
+    showcons: bool
+    datalog: bool
+    show_failures: bool  # display detailed FP and FN information
+    cached_literals: Dict[Tuple[str, Any], Literal]
+
     def __init__(self, cmd_line=False, info=True, debug=False, show_stats=True, max_literals=MAX_LITERALS,
                  timeout=TIMEOUT, quiet=False, eval_timeout=EVAL_TIMEOUT, max_examples=MAX_EXAMPLES, max_body=None,
                  max_rules=None, max_vars=None, functional_test=False, kbpath=False, ex_file=False, bk_file=False,