yosys-master
|
#include <subcircuit.h>
Data Fields | |
std::string | needleGraphId |
std::string | haystackGraphId |
std::map< std::string, ResultNodeMapping > | mappings |
Definition at line 100 of file subcircuit.h.
std::string SubCircuit::Solver::Result::haystackGraphId |
Definition at line 101 of file subcircuit.h.
std::map<std::string, ResultNodeMapping> SubCircuit::Solver::Result::mappings |
Definition at line 102 of file subcircuit.h.
std::string SubCircuit::Solver::Result::needleGraphId |
Definition at line 101 of file subcircuit.h.