/*** Hobbes  ***/

hobbes :=
{
 dove : real := dove_1 + DT * ddove_1;
 hawk : real := hawk_1 + DT * (-ddove_1 - dlawa_1); 
 lawa : real := lawa_1 + DT * dlawa_1;

 ddove : real := yieldd - dove * yields;
 dlawa : real := yieldl - lawa * yields;

 yieldd : real := (dove * rdd + hawk * rdh + lawa * rdl) * dove;
 yieldh : real := (dove * rhd + hawk * rhh + lawa * rhl) * hawk;
 yieldl : real := (dove * rld + hawk * rlh + lawa * rll) * lawa;
 yields : real := yieldd + yieldh + yieldl;

 alldove: list of real := append(alldove_1,dove);
 allhawk: list of real := append(allhawk_1,hawk);
 alllawa: list of real := append(alllawa_1,lawa);
};