diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-03-02 14:34:00 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-03-02 14:34:00 +0100 |
| commit | 8689f5d339c31b542d94ef52c856c3a3938c750c (patch) | |
| tree | 2e174df001fd9a6bccd574884944815d4de1aa80 /libs/subcircuit/subcircuit.cc | |
| parent | 84cdfa55fc81c233a308c82c5fa6d482b8661ca0 (diff) | |
subcircuit library: implied allExtern for mining
Diffstat (limited to 'libs/subcircuit/subcircuit.cc')
| -rw-r--r-- | libs/subcircuit/subcircuit.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/subcircuit/subcircuit.cc b/libs/subcircuit/subcircuit.cc index a55b97ab..b31c45e1 100644 --- a/libs/subcircuit/subcircuit.cc +++ b/libs/subcircuit/subcircuit.cc @@ -1155,7 +1155,6 @@ class SubCircuit::SolverWorker for (auto &it : graphData) { GraphData &haystack = it.second; - assert(haystack.graph.allExtern); std::vector<std::set<int>> enumerationMatrix; std::map<std::string, std::set<std::string>> initialMappings; @@ -1176,6 +1175,7 @@ class SubCircuit::SolverWorker for (int nodeIdx : testSet.nodes) needle_nodes.push_back(graph.nodes[nodeIdx].nodeId); needle.graph = Graph(graph, needle_nodes); + needle.graph.markAllExtern(); diCache.add(needle.graph, needle.adjMatrix, graphId, userSolver); std::vector<Solver::Result> ullmannResults; |