Skip to content
This repository has been archived by the owner on Mar 18, 2019. It is now read-only.

Implement disunification #114

Open
lvh opened this issue Mar 28, 2016 · 0 comments
Open

Implement disunification #114

lvh opened this issue Mar 28, 2016 · 0 comments
Milestone
Advanced querying

Comments

@lvh
Copy link
Contributor

lvh commented Mar 28, 2016

Right now, the query language supports unification; e.g. saying that a logical variable is equal to some expression. We should be able to express that something is not equal to some expression, too; for example:

(and (= (:ip x) "10.0.0.1") (!= (:type x) "syslog"))
@lvh lvh added this to the Advanced querying milestone Mar 28, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Advanced querying
Development

No branches or pull requests
1 participant
@lvh