renamed --show to --show-facts

README.md

@@ -95,8 +95,8 @@ coomsuite solve examples/coom/kids-bike.coom 0 -q
 - Note that the direct conversion of COOM into facts is a mere serialization of
   the COOM model. We make use of a preprocessing encoding to translate the
   "serialized" facts into a set of "refined" facts, capturing the essence of a
-  configuration problem. To show the "refined" facts, run with option `--show`.
-  This will print the facts to the console.
+  configuration problem. To show the "refined" facts, run with option
+  `--show-facts`. This will print the facts to the console.
 
 ### Extending the workbench
 

src/coomsuite/__main__.py

@@ -49,10 +49,10 @@ def main():
                 + unknown_args
             )
 
-            if args.show:
+            if args.show_facts:
                 options.append("--outf=3")
 
-            clingo_main(COOMApp(solver=args.solver, output=args.output, show=args.show), options)
+            clingo_main(COOMApp(solver=args.solver, output=args.output, show_facts=args.show_facts), options)
 
 
 if __name__ == "__main__":

src/coomsuite/application.py

@@ -58,7 +58,7 @@ class COOMApp(Application):
 
     _solver: str
     _output: str
-    _show: bool
+    _show_facts: bool
     _istest: bool
     _log_level: str
     config: FclingoConfig
@@ -71,15 +71,15 @@ def __init__(
         log_level: str = "",
         solver: str = "",
         output: str = "",
-        show: bool = False,
+        show_facts: bool = False,
         istest: bool = False,
     ):
         """
         Create application.
         """
         self._solver = "clingo" if solver == "" else solver
         self._output = "asp" if output == "" else output
-        self._show = show
+        self._show_facts = show_facts
         self._istest = istest
         self._log_level = "WARNING" if log_level == "" else log_level
         self.config = FclingoConfig(MIN_INT, MAX_INT, Flag(False), Flag(False), DEF)
@@ -215,7 +215,7 @@ def main(self, control: Control, files: Sequence[str]) -> None:
         Main function ran on call.
         """
         processed_facts = self.preprocess(list(files))
-        if self._show:
+        if self._show_facts:
             print("\n".join(processed_facts))  # nocoverage
         else:
             user_input_check = self.check_user_input(processed_facts)

src/coomsuite/utils/parser.py

@@ -99,5 +99,5 @@ def get(levels: list[tuple[str, int]], name: str) -> Optional[int]:
     parser_solve.add_argument(
         "--output", "-o", type=str, help="Set console output format", choices=["asp", "coom"], default="asp"
     )
-    parser_solve.add_argument("--show", action="store_true", help="Show preprocessed fact format")
+    parser_solve.add_argument("--show-facts", action="store_true", help="Show preprocessed fact format")
     return parser