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

Implement REP operator in the Query Agent's query tree #212

Open

andre-senna opened this issue Jan 24, 2025 · 0 comments

Assignees

Milestone

Contributor

andre-senna commented Jan 24, 2025

REP
    OR
        Eq PREV V
        Imp PREV V
    A
    B
    n

Translates to (n == 2):

OR
    OR
        Eq A B
        Imp A B
    AND
        OR
            Eq A V1
            Imp A V1
        OR
            Eq V1 B
            Imp V1 B
    AND
        OR
            Eq A V1
            Imp A V1
        OR
            Eq V1 V2
            Imp V1 V2
        OR
            Eq V2 B
            Imp V2 B

The text was updated successfully, but these errors were encountered:

andre-senna added this to the Query Engine milestone

andre-senna self-assigned this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment