non-fluents nf_elevators_inst_mdp__1 {
domain = elevators_mdp;
objects {
elevator : {e0};
floor : {f0, f1, f2};
};
non-fluents {
ELEVATOR-PENALTY-RIGHT-DIR = 0.75;
ELEVATOR-PENALTY-WRONG-DIR = 3.0;
ADJACENT-UP(f0, f1);
ARRIVE-PARAM(f1) = 0.14635538;
ADJACENT-UP(f1, f2);
TOP-FLOOR(f2);
BOTTOM-FLOOR(f0);
};
}
instance elevators_inst_mdp__1 {
domain = elevators_mdp;
non-fluents = nf_elevators_inst_mdp__1;
init-state {
elevator-at-floor(e0, f0);
};
max-nondef-actions = 1;
horizon = 40;
discount = 1.0;
}