non-fluents nf_wildfire_inst_mdp__1_v3 {
domain = wildfire_mdp_v3;
objects {
x_pos : {x1,x2,x3};
y_pos : {y1,y2,y3};
};
non-fluents {
NEIGHBOR(x1,y1,x1,y2);
NEIGHBOR(x1,y1,x2,y1);
NEIGHBOR(x1,y1,x2,y2);
NEIGHBOR(x1,y2,x1,y1);
NEIGHBOR(x1,y2,x1,y3);
NEIGHBOR(x1,y2,x2,y1);
NEIGHBOR(x1,y2,x2,y2);
NEIGHBOR(x1,y2,x2,y3);
// Omitted: NEIGHBOR(x1,y3,x1,y2);
NEIGHBOR(x1,y3,x2,y2);
NEIGHBOR(x1,y3,x2,y3);
NEIGHBOR(x2,y1,x1,y1);
NEIGHBOR(x2,y1,x1,y2);
NEIGHBOR(x2,y1,x2,y2);
NEIGHBOR(x2,y1,x3,y1);
NEIGHBOR(x2,y1,x3,y2);
NEIGHBOR(x2,y2,x1,y1);
NEIGHBOR(x2,y2,x1,y2);
NEIGHBOR(x2,y2,x1,y3);
NEIGHBOR(x2,y2,x2,y1);
NEIGHBOR(x2,y2,x2,y3);
NEIGHBOR(x2,y2,x3,y1);
NEIGHBOR(x2,y2,x3,y2);
NEIGHBOR(x2,y2,x3,y3);
NEIGHBOR(x2,y3,x1,y2);
NEIGHBOR(x2,y3,x1,y3);
NEIGHBOR(x2,y3,x2,y2);
NEIGHBOR(x2,y3,x3,y2);
NEIGHBOR(x2,y3,x3,y3);
NEIGHBOR(x3,y1,x2,y1);
NEIGHBOR(x3,y1,x2,y2);
NEIGHBOR(x3,y1,x3,y2);
NEIGHBOR(x3,y2,x2,y1);
NEIGHBOR(x3,y2,x2,y2);
NEIGHBOR(x3,y2,x2,y3);
NEIGHBOR(x3,y2,x3,y1);
NEIGHBOR(x3,y2,x3,y3);
NEIGHBOR(x3,y3,x2,y2);
NEIGHBOR(x3,y3,x2,y3);
NEIGHBOR(x3,y3,x3,y2);
TARGET(x2,y2);
TARGET(x2,y3);
TARGET(x3,y1);
};
}
instance wildfire_inst_mdp__1_v3 {
domain = wildfire_mdp_v3;
non-fluents = nf_wildfire_inst_mdp__1_v3;
init-state {
burning(x1,y3);
};
max-nondef-actions = 1;
horizon = 4;
discount = 1.0;
}