Warning: session_start(): open(/var/lib/php/sessions/sess_kv02o1j94olakp2heghcdr6451, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
svoid gazelle_dropMatchedDefaultRules(L l, O... _) { L l2 = filter(l, t -> !eqic(t.lineType, "temporary fact")); new Set trumped; for (GazelleTree t : l2) addAll(trumped, matchAll_first("trumps rule *", t.ruleComments())); L trumped = [GazelleTree t : l2 | contains(t.ruleComments(), "default") || trumped.contains(t.ruleID())]; if (nempty(trumped) && l(trumped) < l(l2)) { if (boolPar debug(_) || boolPar debugDefaults(_)) { print("Removing default/trumped rules:"); printIndentLines(trumped); print("Because there are also:"); printIndentLines(listMinusSet(l2, trumped)); } l.removeAll(trumped); } }