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

Improve input visualization default style (iv) #20

Open
ludaesch opened this issue Apr 29, 2017 · 3 comments
Open

Improve input visualization default style (iv) #20

ludaesch opened this issue Apr 29, 2017 · 3 comments
Assignees

Comments

@ludaesch
Copy link
Member

When running "euler2 show iv" (input visualization), disjunctive input articulations are shown, e.g., like this "== OR < OR ><"
Some other possible improvements are shown in the screenshot.
I'm not sure about the last one (replace "!" with "%"), but I like the visual separation of the two small circles, indicating disjointness...
euler-iv-improvement

@nfranz
Copy link
Member

nfranz commented Apr 30, 2017 via email

@ludaesch
Copy link
Member Author

ludaesch commented Apr 30, 2017 via email

@shizhuoyu
Copy link
Contributor

I am done with the change. Besides, we can do symbols instead of English words in Euler input.

For example,

taxonomy 1 Taxonomy1
(a b e)
taxonomy 2 Taxonomy2
(c d f)
articulation tw1 tw1
[1.a equals 2.c]
[1.b {is_included_in equals} 2.d]
[1.e {includes equals} 2.f]

is equivalent to:

taxonomy 1 Taxonomy1
(a b e)
taxonomy 2 Taxonomy2
(c d f)
articulation tw1 tw1
[1.a = 2.c]
[1.b {< =} 2.d]
[1.e {> =} 2.f]

We can use the following symbols in input:
equals: =
is_included_in: <
includes: >
overlaps: ><
disjoint: !

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

No branches or pull requests

3 participants