Code

src/graph.c: Fix "graph_search_inst".
authorFlorian Forster <ff@octo.it>
Wed, 14 Jul 2010 08:57:18 +0000 (10:57 +0200)
committerFlorian Forster <octo@leeloo.lan.home.verplant.org>
Wed, 14 Jul 2010 08:57:18 +0000 (10:57 +0200)
commit1752d4ca2febc1f8a85a8a3221d6f96f7146acb7
tree93ff332bac04ef7d03f02d20e8f88a1bbb41a979
parent9c05288ca37caedfe895ce83dbaee2ea4dd375d7
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.
src/graph.c