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.