domain4.pddl

(define (domain tasking)
  (:requirements :adl :fluents :equality :typing)

  (:types programmer task)

  (:functions
	  (ability ?p - programmer)
	  (quality ?p - programmer)
	  (complexity ?t - task)
	  (duration ?t - task)
	  (reviewDuration ?t - task)
		(numTasks ?p - programmer)
		(totalHours)
		(workingProgrammers)

  )

  (:predicates

   ;; Static predicates:

   ;; Non-static predicates:
	 (taskAssigned ?t)
	 (taskReviewAssigned ?t)
	 (programmerDoesTask ?p ?t)
	 (programmerWorking ?p)
	 (programmerReviewsTask ?p ?t)
	)


	(:action assignTask
		:parameters (?p - programmer ?t - task)
		:precondition (and (not (taskAssigned ?t)) (>= (ability ?p) (- (complexity ?t) 1)) )
		:effect (and (taskAssigned ?t) (programmerDoesTask ?p ?t) (assign (reviewDuration ?t) (ability ?p)) (when (< (ability ?p) (complexity ?t)) (increase (duration ?t) 2))
						(increase (totalHours) (duration ?t)) (increase (numTasks ?p) 1) (when (not (programmerWorking ?p)) (and (programmerWorking ?p) (increase (workingProgrammers) 1)))  )
	)

	(:action assignReviewTask
		:parameters (?p - programmer ?t - task ?pAnterior - programmer)
		:precondition(and (not (taskReviewAssigned ?t)) (programmerDoesTask ?pAnterior ?t) (taskAssigned ?t) (not (= ?p ?pAnterior)) (>= (ability ?p) (- (complexity ?t) 1)) )
		:effect (and (taskReviewAssigned ?t) (programmerReviewsTask ?p ?t) (increase (totalHours) (reviewDuration ?t)) (increase (numTasks ?p) 1)
						(when (not (programmerWorking ?p)) (and (programmerWorking ?p) (increase (workingProgrammers) 1)))))
)