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

ForbiddenSequence for non-path sequences #57

Open
Whebon opened this issue May 30, 2024 · 0 comments
Open

ForbiddenSequence for non-path sequences #57

Whebon opened this issue May 30, 2024 · 0 comments

Comments

@Whebon
Copy link
Contributor

Whebon commented May 30, 2024

The ForbiddenSequence constraint forbids a sequence of rules in a vertical path. However, most grammars have a different notion of a 'sequence'. For example, the sequence of operations in the robot grammar do not lie on a path.

Image

To forbid the sequence [right, left], we either need to:

  1. rewrite the grammar.
  2. change the semantics of ForbiddenSequence.
  3. make a new forbidden sequence constraints for a different kind of sequence.
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