roveri-marco / omtnplan Goto Github PK

                    for var_name in utils.extractVariablesFC(self,pre):
                        # MR: If not touched, then skip it
                        if var_name in self.touched_variables:
                            tvariables.append(self.touched_variables[var_name])

  (:goal (and   (<= (+ (value c0) 1) (value c1)) ))
  (:metric  maximize (* (value c0) (value c1))  )

(:metric
  maximize (+ (- 48 (time)) (* (- (time) (temp r1)) (* (time) (temp r1))))
  )

(:metric
  maximize (+ (- 48 (time)) (* (- (time) (temp r1)) (* (time) (time_requested r1 k1))))
  )

(define (problem instance_2)
  (:domain fn-counters)
  (:objects
    c0 c1 - counter
  )

  (:init  (= (max_int) 4)   (= (value c0) 1)   (= (value c1) 1)   (= (rate_value c0) 1)    (= (rate_value c1) 1)  )

  (:goal (and   (<= (+ (value c0) 1) (value c1)) ))
  (:metric  maximize (* (value c0) (value c1))  )
)

 (define (domain fn-counters)
    (:requirements :strips  :adl :fluents)
    (:types counter)

    (:functions
        (value ?c - counter);; - int  ;; The value shown in counter ?c
        (rate_value ?c - counter);;
        (max_int);; -  int ;; The maximum integer we consider - a static value
    )

    ;; Increment the value in the given counter by a factor
    (:action increment
         :parameters (?c - counter)
         :precondition (and (<= (+ (value ?c) (* (value ?c) (+ 0 (* (rate_value ?c) (rate_value ?c))))) (max_int)))
         :effect (and (increase (value ?c) (* (value ?c) (+ 1 (* (rate_value ?c) (rate_value ?c))))))
    )
    ;; Decrement the value in the given counter by a factor
    (:action decrement
         :parameters (?c - counter)
         :precondition (and (>= (- (value ?c) (* (value ?c) (+ 0 (* (rate_value ?c) (rate_value ?c))))) 0))
         :effect (and (decrease (value ?c) (* (value ?c) (+ 1 (* (rate_value ?c) (rate_value ?c))))))
    )

    (:action increase_rate
         :parameters (?c - counter)
         :precondition (and (<= (+ (rate_value ?c) 1) 10))
         :effect (and (assign (rate_value ?c) (+ (rate_value ?c) (* (rate_value ?c) 0.5))))
    )

    (:action decrement_rate
         :parameters (?c - counter)
         :precondition (and (>= (rate_value ?c) 1))
         :effect (and (assign (rate_value ?c) (- (rate_value ?c) (* (rate_value ?c) 0.5))))
    )
)