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

DLV specific option being used for other solver too #33

Open
Farfi55 opened this issue Aug 22, 2023 · 0 comments
Open

DLV specific option being used for other solver too #33

Farfi55 opened this issue Aug 22, 2023 · 0 comments

Comments

@Farfi55
Copy link
Collaborator

Farfi55 commented Aug 22, 2023

The --filter=predicate/arity options exists only for the dlv executable, but if we try to run a brain using clingo for example, it won't recognize it and fail execution.

// inside ASPReactiveExecutor
protected override List<OptionDescriptor> SpecificOptions()
{
    List<OptionDescriptor> options = new List<OptionDescriptor>();
    options.Add(new OptionDescriptor("--filter=setOnActuator/1 "));
    return options;
}
// inside ASPPlannerExecutor
protected override List<OptionDescriptor> SpecificOptions()
{
    List<OptionDescriptor> options = new List<OptionDescriptor>();
    options.Add(new OptionDescriptor("--filter=applyAction/2,actionArgument/3 "));
    return options;
}

A possible fix would be to add #show setOnActuator/1. for the reactive Executor and #show applyAction/2. #show actionArgument/3. for Planner executor.

This won't guarantee that the only predicates received in output by the ThinkEngine are the ones specified in the filter, as the user can also use the #show ... functionality for other predicates.

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

No branches or pull requests

1 participant