Home
last modified time | relevance | path

Searched refs:limitMatchesPerGraph (Results 1 – 2 of 2) sorted by relevance

/dports/cad/yosys/yosys-yosys-0.12/libs/subcircuit/
H A Dsubcircuit.cc1282 …t std::string &graphId, const Graph &graph, int minNodes, int minMatches, int limitMatchesPerGraph) in testForMining() argument
1330 if (limitMatchesPerGraph < 0 || matchesPerGraph[it.haystackGraphId] < limitMatchesPerGraph) in testForMining()
1356 …lt> &results, std::set<NodeSet> &nodePairs, int minNodes, int minMatches, int limitMatchesPerGraph) in findNodePairs() argument
1381 …g(results, usedPairs, nodePairs, pair, graphId, graph, minNodes, minMatches, limitMatchesPerGraph); in findNodePairs()
1396 int oldSetSize, int increment, int minNodes, int minMatches, int limitMatchesPerGraph) in findNextPool() argument
1452 …esults, usedSets, nextPool, mergedSet, graphId, graph, minNodes, minMatches, limitMatchesPerGraph); in findNextPool()
1558 …Solver::MineResult> &results, int minNodes, int maxNodes, int minMatches, int limitMatchesPerGraph) in mine() argument
1562 findNodePairs(results, pool, minNodes, minMatches, limitMatchesPerGraph); in mine()
1572 findNextPool(results, pool, nodeSetSize, increment, minNodes, minMatches, limitMatchesPerGraph); in mine()
1678 …:vector<MineResult> &results, int minNodes, int maxNodes, int minMatches, int limitMatchesPerGraph) in mine() argument
[all …]
H A Dsubcircuit.h148 …r<MineResult> &results, int minNodes, int maxNodes, int minMatches, int limitMatchesPerGraph = -1);