add function to remove projection atoms

potassco · Dec 2, 2024 · a254167 · a254167
1 parent 1ee8c90
commit a254167
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/libpyclingo/clingo/control.py b/libpyclingo/clingo/control.py
@@ -379,6 +379,16 @@ def replace_project(self, atoms: Sequence[Union[Symbol, int]]) -> None:
         """
         self._update_project(atoms, append=False)
 
+    def remove_project(self) -> None:
+        """
+        Remove all projection atoms.
+
+        See Also
+        --------
+        Control.add_project
+        """
+        self._update_project([], append=False)
+
     def assign_external(
         self, external: Union[Symbol, int], truth: Optional[bool]
     ) -> None: