Negative preconditions, static fluents, and type enhancements

.github/workflows/check.yml

@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        python-version: ["3.9", "3.10", "3.11", "3.12"]
+        python-version: ["3.11", "3.12", "3.13"]
 
     steps:
       - uses: actions/checkout@v3
@@ -26,7 +26,7 @@ jobs:
           pip install -e .[dev]
           sudo apt install gringo
           sudo apt-get install graphviz
-      - if: ${{ matrix.python-version == '3.12' }}
+      - if: ${{ matrix.python-version == '3.13' }}
         name: Get branch name
         run: |
           REF=${{ github.ref }}
@@ -35,7 +35,7 @@ jobs:
           BRANCH_NAME="${PATHS[1]}_${PATHS[2]}"
           echo $BRANCH_NAME
           echo "BRANCH=$(echo ${BRANCH_NAME})" >> $GITHUB_ENV
-      - if: ${{ matrix.python-version == '3.12' }}
+      - if: ${{ matrix.python-version == '3.13' }}
         name: Create placeholder coverage badge
         uses: schneegans/dynamic-badges-action@v1.0.0
         with:
@@ -53,13 +53,13 @@ jobs:
       - name: Tests
         run: python -m pytest
       # Only get coverage once
-      - if: ${{ matrix.python-version == '3.12' }}
+      - if: ${{ matrix.python-version == '3.13' }}
         name: Get coverage
         run: |
           REPORT="$(python -m pytest --cov=macq)"
           for line in "${REPORT[@]}"; do echo "$line"; done
           echo "COVERAGE=$(echo $REPORT | tail -c85 | head -c3)" >> $GITHUB_ENV
-      - if: ${{ matrix.python-version == '3.12' }}
+      - if: ${{ matrix.python-version == '3.13' }}
         name: Create coverage badge
         uses: schneegans/dynamic-badges-action@v1.0.0
         with:

.github/workflows/docs.yml

@@ -21,7 +21,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
 
       # ADJUST THIS: install all dependencies (including pdoc)
       - run: pip install -e .

.gitignore

@@ -17,3 +17,4 @@ results.txt
 html/
 *.DS_Store
 *.gv*
+venv/

macq/__init__.py

@@ -4,4 +4,4 @@
 ----
 
 .. include:: ../docs/index.md
-"""
+"""

macq/core/__init__.py

@@ -0,0 +1,27 @@
+from .signature_parameter import SignatureParameter
+from .object_type import ObjectType, CircularTypeHierarchyException, is_circular_type_hierarchy_error
+from .fluents import LiftedFluent, ParameterBoundFluent, GroundedFluent
+from .actions import LiftedAction, GroundedAction
+from .model_type_validate import ModelTypeValidator, ModelType
+from .factory_pattern_model import Model, create_lifted_model, create_grounded_model
+
+"""package contains core elements of an action model.
+    enabling lifted and grounded representations"""
+
+
+__all__ = [
+    "ObjectType",
+    "CircularTypeHierarchyException",
+    "is_circular_type_hierarchy_error",
+    "SignatureParameter",
+    "LiftedAction",
+    "GroundedAction",
+    "LiftedFluent",
+    "ParameterBoundFluent",
+    "GroundedFluent",
+    "ModelType",
+    "ModelTypeValidator",
+    "Model",
+    "create_lifted_model",
+    "create_grounded_model"
+]