search

ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

separate the quanto version GUI as a library #3

Closed lyhlbyl closed 10 years ago

lyhlbyl commented 10 years ago

We only need the functionalities of draw, display and layout for a quanta graph in the quanta GUI. We can separate those functionalities as a library, and develop the Tinker GUI in the tinker repo. @ggrov

plebras commented 10 years ago

@lyhlbyl did you start working on that issue ? if so, have you started identifying where those functionalities are ?

lyhlbyl commented 10 years ago

No, I haven’t. These are something categories in my mind.

1) string graph class representation 2) convertor for string graph and JSON 3) functionality for drawing a string graph object

These are something (and maybe more) we want to separate as a library from quantomatics. The advantage is that the tinker gui code will have low coupling, and we don’t need to refractor the tinker gui code every time when we need to merge updates from quantomatics.

Aleks, what do you think ? Any suggestion ?

Yuhui

On 10 Jun 2014, at 10:19, plebras notifications@github.com wrote:

@lyhlbyl did you start working on that issue ? if so, have you started identifying where those functionalities are ?

— Reply to this email directly or view it on GitHub.

plebras commented 10 years ago

Done, The quantomatic GUI sources are under a lib folder. One API file uses this sources to generate a view of the graph and inject it into the new GUI.