Add missing requirements and fix syntax error in generator for the fridge domain (#44)

Author: Martin36

fridge/domain.pddl

@@ -12,11 +12,11 @@
 
 
 (define (domain fridge-domain)
-  (:requirements :strips :typing :quantified-preconditions)
+  (:requirements :strips :typing :quantified-preconditions :negative-preconditions :disjunctive-preconditions)
   (:types screw backplane compressor fridge)
   (:predicates (screwed ?s - screw)
 	       (attached ?c - compressor ?f - fridge)
-               (fits ?s - screw ?c -compressor)
+               (fits ?s - screw ?c - compressor)
 	       (fridge-on ?f - fridge))
 
 
@@ -26,7 +26,7 @@
 	     :effect (screwed ?x))
 
 (:action unfasten
-	     :parameters (?x - screw ?c - compressor)
+	     :parameters (?x - screw)
 	     :precondition (and (exists (?f - fridge)
                                   (exists (?c - compressor)
                                      (and (attached ?c ?f)
@@ -36,7 +36,7 @@
 	     :effect (not (screwed ?x)))
 
 (:action start-fridge
-	     :parameters (?f - fridge ?c - compressor)
+	     :parameters (?f - fridge)
 	     :precondition
               (and (exists (?c - compressor)
                    (and (attached ?c ?f)
@@ -69,9 +69,3 @@
                   (forall (?a - screw)
                   (imply (fits ?a ?x) (not (screwed ?a)))))
              :effect (attached ?x ?f)))
-
-
-
-
-
-

fridge/fridge.c

@@ -129,8 +129,8 @@ int main( int argc, char *argv[] )
   }
   for ( i = 0; i < gfridges; i++ ) {
     for ( j = 0; j < gscrews; j++ ) {
-      printf("\n(fits s%d-%d, c%d-0)", i, j, i);
-      printf("\n(fits s%d-%d, c%d-1)", i, j, i);
+      printf("\n(fits s%d-%d c%d-0)", i, j, i);
+      printf("\n(fits s%d-%d c%d-1)", i, j, i);
       printf("\n(screwed s%d-%d)", i, j);
     }
   }