![[tokkee]](http://tokkee.org/images/avatar.png){kind=avatar}
| author | Florian Forster <ff@octo.it> | |
| Wed, 14 Jul 2010 08:57:18 +0000 (10:57 +0200) | ||
| committer | Florian Forster <octo@leeloo.lan.home.verplant.org> | |
| Wed, 14 Jul 2010 08:57:18 +0000 (10:57 +0200) | ||
| commit | 1752d4ca2febc1f8a85a8a3221d6f96f7146acb7 | |
| tree | 93ff332bac04ef7d03f02d20e8f88a1bbb41a979 | tree | snapshot |
| parent | 9c05288ca37caedfe895ce83dbaee2ea4dd375d7 | commit | diff |
src/graph.c: Fix "graph_search_inst".
Checking if a graph selector intersects with the search selector is not
sufficient, because the instance may introduce a contradiction.
The "graph_search_inst_noselector" has been introduced to simplify the
(probably common) case of no search selector being present.
Checking if a graph selector intersects with the search selector is not
sufficient, because the instance may introduce a contradiction.
The "graph_search_inst_noselector" has been introduced to simplify the
(probably common) case of no search selector being present.
| src/graph.c | diff | blob | history |