Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

modification to domain.py and additional printing of result filenames #2

Open
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

drexlerd
Copy link

  • some domains in domain.py were modified and some were added
  • the generate-all-instances.py now prints a list of the filenames generated

@@ -226,8 +224,7 @@ def adapt_parameters_tidybot(parameters):

Tasks:
agricola: 67
mystery: 492
pathways: 114
mystery: 492gnum_keytypes
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you revert this change, please?

parameters["locks"] = int(
parameters["x"] * parameters["y"] * parameters["percentage_cells_locked"]
)
parameters["locks"] = max(parameters["locks"], parameters["shapes"])
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are these adaptations obsolete?

src/domains.py Outdated
get_int("drivers", lower=4, upper=5),
get_int("packages", lower=4, upper=5),
get_int("roadjunctions", lower=4, upper=5),
get_int("trucks", lower=4, upper=5),
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We'll have to find a better mechanism for supporting different parameter sets. For now, let's use a single set of parameter values that are (expected to be) useful for SSE for all domains.

src/domains.py Outdated
get_int("y", lower=2, upper=3),
get_int("shapes", lower=1, upper=2),
get_enum("keys", choices=["0", "1", "2", "20", "02", "11"]),
get_enum("prob_key_in_goal", choices=[100]),
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why did you switch from the Python to the C generator?

[
get_int("num_objects", lower=1, upper=5),
]
)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please order the domains by name.

shutil.rmtree(tmp_dir, ignore_errors=False)
print([os.path.splitext(problem_name)[0] for problem_name in problem_names if problem_name is not None])
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's use pathlib for path manipulations instead of os.path.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What do you use this list for? I'm a bit skeptical to print this list, since it will dominate the whole output.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants