academic_advising_inst_mdp__1.rddl

non-fluents nf_academic_advising_inst_mdp__1 {
	domain = academic_advising_mdp;
	objects {
		course : {CS11, CS12, CS21, CS22, CS31, CS32, CS41, CS42, CS51, CS52};
	};

	non-fluents {
		PREREQ(CS12,CS21);
		PREREQ(CS11,CS21);
		PROGRAM_REQUIREMENT(CS21);
		PREREQ(CS12,CS22);
		PREREQ(CS21,CS22);
		PROGRAM_REQUIREMENT(CS22);
		PREREQ(CS21,CS31);
		PREREQ(CS11,CS31);
		PREREQ(CS22,CS32);
		PREREQ(CS11,CS32);
		PREREQ(CS11,CS41);
		PREREQ(CS22,CS41);
		PROGRAM_REQUIREMENT(CS41);
		PREREQ(CS11,CS42);
		PREREQ(CS31,CS42);
		PREREQ(CS41,CS51);
		PREREQ(CS12,CS51);
		PREREQ(CS31,CS52);
		PREREQ(CS22,CS52);
	};
}

instance academic_advising_inst_mdp__1 {
	domain = academic_advising_mdp;
	non-fluents = nf_academic_advising_inst_mdp__1;
	max-nondef-actions = 1;
	horizon  = 40;
	discount = 1.0;
}