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.

Sign up for GitHub

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

Jump to bottom

Source 3 Non-Det: Improve documentation for amb operator #701

Open
anubh-v opened this issue Jul 31, 2020 · 0 comments
Open

Source 3 Non-Det: Improve documentation for amb operator #701

anubh-v opened this issue Jul 31, 2020 · 0 comments
Assignees
@anubh-v
Labels
Enhancement New feature or request minor less important than important but more than nice-to-have

Comments

@anubh-v
Copy link
Contributor

anubh-v commented Jul 31, 2020 •
edited
Loading

To aid individuals coming from Source 3, the docs should mention that amb is not intended to behave like ordinary Source functions.

Specifically, when we evaluate amb(alpha(), bravo()), the call is not evaluated "inside out".
The expression bravo() will only be evaluated upon backtracking.

Moreover, amb cannot be passed around as a value.
@anubh-v anubh-v self-assigned this Jul 31, 2020
@martin-henz martin-henz added Enhancement New feature or request minor less important than important but more than nice-to-have labels Aug 2, 2020
@leeyi45 leeyi45 mentioned this issue May 22, 2024
Draft
@leeyi45 leeyi45 mentioned this issue Oct 9, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@anubh-v anubh-v

Labels
Enhancement New feature or request minor less important than important but more than nice-to-have
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@martin-henz @anubh-v