Finished documenting the formalism

hezzel · Jul 23, 2024 · a7f20b8 · a7f20b8
1 parent 3b683b8
commit a7f20b8
Show file tree

Hide file tree

Showing 2 changed files with 517 additions and 154 deletions.
diff --git a/app/src/main/java/charlie/trs/Rule.java b/app/src/main/java/charlie/trs/Rule.java
@@ -106,9 +106,10 @@ public Type queryType() {
 
   /**
    * This returns whether the rule is a constrained rule -- which is the case if the constraint
-   * is anything other than the value true.
+   * is anything other than the value true, or if lvar is non-empty.
    */
   public boolean isConstrained() {
+    if (!_lvars.isEmpty()) return true;
     Value value = _constraint.toValue();
     if (value == null) return true;
     return !value.getBool();