|
yosys-master
|
#include <subcircuit.h>
Data Fields | |
| std::string | graphId |
| int | totalMatchesAfterLimits |
| std::map< std::string, int > | matchesPerGraph |
| std::vector< MineResultNode > | nodes |
Definition at line 109 of file subcircuit.h.
| std::string SubCircuit::Solver::MineResult::graphId |
Definition at line 110 of file subcircuit.h.
| std::map<std::string, int> SubCircuit::Solver::MineResult::matchesPerGraph |
Definition at line 112 of file subcircuit.h.
| std::vector<MineResultNode> SubCircuit::Solver::MineResult::nodes |
Definition at line 113 of file subcircuit.h.
| int SubCircuit::Solver::MineResult::totalMatchesAfterLimits |
Definition at line 111 of file subcircuit.h.