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

"and" operator not a recognized literal in GdlFactory.createLiteral(Symbol symbol) #121

Open
aaronrmm opened this issue Jul 19, 2016 · 1 comment

Comments

@aaronrmm
Copy link

It is important to me that "and" is recognized because I need it for nesting in an "or" operation. e.g.:

(<=(next (xor))
(or
(and (boolean1) (not (boolean2)))
(and (not (boolean1)) (boolean2))
)
)

@AlexLandau
Copy link
Member

In this particular case, you can use the implicit "or" effect of separate rules:

(<= (next xor)
    boolean1
    (not boolean2))
(<= (next xor)
    (not boolean1)
    boolean2)

More broadly, this hasn't been supported because 1) this wasn't part of the original GDL spec or any games before it was put on the Stanford site a few years ago, and 2) there's a lot of code (e.g. GDL transformations, the prover implementation) that would need to be updated to account for a new literal type.

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

2 participants