pddl_file = open(argv[1] + argv[2] + ".pddl", "w") pddl_file.write("(define (problem a)\n\t(:domain clique)\n") pddl_file.write("\t(:objects\n\t\t") objects = "\n\t\t".join(bp.generate_obj(num_vert)) + "\n\t)" pddl_file.write(objects) pddl_file.write("\n\t(:init\n\t\t(guess)\n\t\t") suc_fluents = bp.generate_suc(num_vert) gt_fluents = bp.generate_gt(num_vert) free_rel_fluents = bp.generate_free_rel_2arity(num_vert,"f") free_domain_fluents = bp.generate_free_domain(num_vert,"f") free_range_fluents = bp.generate_free_range(num_vert,"f") e_fluents = generate_random_e(num_vert, p) ssuc_fluents = "\n\t\t".join(suc_fluents) + "\n\t\t" se_fluents = "\n\t\t".join(e_fluents) + "\n\t\t" sgt_fluents = "\n\t\t".join(gt_fluents) + "\n\t\t" sfree_rel_fluents = "\n\t\t".join(free_rel_fluents) + "\n\t\t" sfree_domain_fluents = "\n\t\t".join(free_domain_fluents) + "\n\t\t" sfree_range_fluents = "\n\t\t".join(free_range_fluents) + "\n\t\t" s_notk = "\n\t\t".join(generate_not_k(k)) s_k = "\n\t\t".join(generate_k(k)) + "\n\t\t" pddl_file.write(ssuc_fluents + se_fluents + sgt_fluents +\ sfree_rel_fluents + sfree_domain_fluents +\
pddl_file.write("\n\t)\n") pddl_file.write("\t(:init\n\t\t(guess)\n\t\t") suc_fluents = bp.generate_suc(num_vert) ssuc_fluents = "\n\t\t".join(suc_fluents) + "\n\t\t" T_set = generateRandomInput(num_vert, p) st_fluents = "\n\t\t".join(T_set) + "\n\t\t" sfree_f = "\n\t\t".join(bp.generate_all_2arity("not_f", num_vert)) + "\n\t\t" sfree_g = "\n\t\t".join(bp.generate_all_2arity("not_g", num_vert)) + "\n\t\t" free_domain_f = bp.generate_free_domain(num_vert, "f") free_domain_g = bp.generate_free_domain(num_vert, "g") free_range_f = bp.generate_free_range(num_vert, "f") free_range_g = bp.generate_free_range(num_vert, "g") sfree_domain_f = "\n\t\t".join(free_domain_f) + "\n\t\t" sfree_domain_g = "\n\t\t".join(free_domain_g) + "\n\t\t" sfree_range_f = "\n\t\t".join(free_range_f) + "\n\t\t" sfree_range_g = "\n\t\t".join(free_range_g) + "\n\t\t" pddl_file.write(ssuc_fluents + st_fluents + sfree_f + sfree_g +\ sfree_domain_f + sfree_range_f + sfree_domain_g + \ sfree_range_g) pddl_file.write("\t)\n") pddl_file.write("\t(:goal (and (holds_goal))\n\t)\n)") #print num_vars, num_clau
pddl_file = open(argv[1] + argv[2] + ".pddl", "w") pddl_file.write("(define (problem a)\n") pddl_file.write("\t(:domain vertexcover)\n") pddl_file.write("\t(:objects\n\t\t") objects = "\n\t\t".join(bp.generate_obj(num_vert)) + "\n\t)" pddl_file.write(objects) pddl_file.write("\n\t(:init\n\t\t(guess)\n\t\t") suc_fluents = bp.generate_suc(num_vert) free_rel_fluents = bp.generate_free_rel_2arity(num_vert,"f") free_domain_fluents = bp.generate_free_domain(num_vert,"f") free_range_fluents = bp.generate_free_range(num_vert,"f") e_fluents, difference = generate_random_e(num_vert, p) e_fluents2 = listDiff(bp.generate_all_2arity("not_e",num_vert), difference) ssuc_fluents = "\n\t\t".join(suc_fluents) + "\n\t\t" se_fluents = "\n\t\t".join(e_fluents) + "\n\t\t" se_fluents2 = "\n\t\t".join(e_fluents2) + "\n\t\t" sfree_f = "\n\t\t".join(bp.generate_free_rel_2arity(num_vert,'f')) + "\n\t\t" sfree_domain_f = "\n\t\t".join(bp.generate_free_domain(num_vert,'f')) + "\n\t\t" sfree_range_f = "\n\t\t".join(bp.generate_free_range(num_vert,'f')) + "\n\t\t" s_k = "\n\t\t".join(generate_k(k)) + "\n\t\t" s_notk = "\n\t\t".join(generate_not_k(k)) pddl_file.write(ssuc_fluents + se_fluents + se_fluents2 +\
pddl_file = open(argv[1] + argv[2] + ".pddl", "w") pddl_file.write("(define (problem a)\n") pddl_file.write("\t(:domain hamiltonian)\n") pddl_file.write("\t(:objects\n\t\t") objects = "\n\t\t".join(bp.generate_obj(num_vert)) + "\n\t)" pddl_file.write(objects) pddl_file.write("\n\t(:init\n\t\t(guess)\n\t\t") suc_fluents = bp.generate_suc(num_vert) gt_fluents = bp.generate_gt(num_vert) free_rel_fluents = bp.generate_free_rel_2arity(num_vert, "f") free_domain_fluents = bp.generate_free_domain(num_vert, "f") free_range_fluents = bp.generate_free_range(num_vert, "f") e_fluents = generate_random_e(num_vert, p) ssuc_fluents = "\n\t\t".join(suc_fluents) + "\n\t\t" se_fluents = "\n\t\t".join(e_fluents) + "\n\t\t" slt_fluents = "\n\t\t".join(gt_fluents) + "\n\t\t" sfree_rel_fluents = "\n\t\t".join(free_rel_fluents) + "\n\t\t" sfree_domain_fluents = "\n\t\t".join(free_domain_fluents) + "\n\t\t" sfree_range_fluents = "\n\t\t".join(free_range_fluents) pddl_file.write(ssuc_fluents + se_fluents + slt_fluents +\ sfree_rel_fluents + sfree_domain_fluents +\ sfree_range_fluents) pddl_file.write("\n\t)\n\t(:goal (holds_goal)\n\t)\n)")
pddl_file.write("\n\t)\n") pddl_file.write("\t(:init\n\t\t(guess)\n\t\t") suc_fluents = bp.generate_suc(num_vert) ssuc_fluents = "\n\t\t".join(suc_fluents) + "\n\t\t" T_set = generateRandomInput(num_vert, p) st_fluents = "\n\t\t".join(T_set) + "\n\t\t" sfree_f = "\n\t\t".join(bp.generate_all_2arity("not_f",num_vert)) + "\n\t\t" sfree_g = "\n\t\t".join(bp.generate_all_2arity("not_g",num_vert)) + "\n\t\t" free_domain_f = bp.generate_free_domain(num_vert, "f") free_domain_g = bp.generate_free_domain(num_vert, "g") free_range_f = bp.generate_free_range(num_vert, "f") free_range_g = bp.generate_free_range(num_vert, "g") sfree_domain_f = "\n\t\t".join(free_domain_f) + "\n\t\t" sfree_domain_g = "\n\t\t".join(free_domain_g) + "\n\t\t" sfree_range_f = "\n\t\t".join(free_range_f) + "\n\t\t" sfree_range_g = "\n\t\t".join(free_range_g) + "\n\t\t" pddl_file.write(ssuc_fluents + st_fluents + sfree_f + sfree_g +\ sfree_domain_f + sfree_range_f + sfree_domain_g + \ sfree_range_g) pddl_file.write("\t)\n") pddl_file.write("\t(:goal (and (holds_goal))\n\t)\n)") #print num_vars, num_clau