Re: [CEqEA] Edge ids
Brought to you by:
renevestergaard
|
From: Rene V. <ve...@ja...> - 2011-04-07 02:34:57
|
Dear all, I should probably have made it clear that this is new functionality for the plugin to ZGRViewer, i.e., it is functionality for the windows that pop up and show graphs after pressing the analyze button in CEqEA. For any newcomers, let me also note that CEqEA is cross-platform and almost entirely self-contained. To run CEqEA, simply download the .zip file from sourceforge, extract the content, and double-click <ceqea_macos.command> on Mac OS, <ceqea_windows.bat> on Windows, and <ceqea.sh> on pretty much everything else. The one exception is that * you need Graphviz (2.26.3, or higher !) installed, see www.graphviz.org --- the website has been unstable lately, but I've got installers for Mac OS and Windows, for anyone who wants it. Most Linux distributions have Graphviz in their repositories. Cheers, Rene On 04/07/2011 11:08 AM, Rene Vestergaard wrote: > Dear all, > > There's a new release of CEqEA at > https://sourceforge.net/projects/ceqea/files/ --- v2.1.69. > > The main new functionality is the ability to show edge ids by > (temporarily) displaying edges as texts. The two main edge ids are > > - press and hold CTRL+SHIFT+i --- text shown is the number of the > originating influence in the MIG specification > > - press and hold CTRL+SHIFT+d --- as above plus domain info(*) > > (To animate all edges, press CTRL+SHIFT+<enter>.) > > > No new functionality is planned for the foreseeable future. Please > report bugs, annoyances, etc. > > Cheers, > Rene > > > -- > > > (*) > > All influences have exactly one _covariant_ domain; the (possibly-empty) > set of edges that pertain to the specified polarity. If the influence > has + polarity, the covariant edges will increase states; for -, they > will decrease states. > > An influence may also have 0, 1, or more _contravariant_ domains: those > edges that are induced by the use of strong inhibition: A |-- !B. If the > polarity of an influence is listed as +, all contravariant edges will > decrease states. > > Domains are visualized in edges-as-texts as either '.', for the > covariant domain, or with letters, with 'a' used for the first > contravariant domain, and so on. > > The contravariant letters can also be found on some inhibitors annotated > to edges, e.g., as -Obj.state/a. When such an inhibitor is activated > (CTRL+SHIFT+<left click>, choose inhibitor in pop-up list), CEqEA will > animate the edges that belong to the annotated (contravariant) domain. > > > NB! When animating, CEqEA will consistently use blue for covariant edges > and magenta for contravariant edges. > > ------------------------------------------------------------------------------ > Xperia(TM) PLAY > It's a major breakthrough. An authentic gaming > smartphone on the nation's most reliable network. > And it wants your games. > http://p.sf.net/sfu/verizon-sfdev > _______________________________________________ > CEqEA-interest mailing list > CEq...@li... > https://lists.sourceforge.net/lists/listinfo/ceqea-interest |