|
HAL
|
#include <common_successor_predecessor.h>

Public Member Functions | |
| CommonSuccessorPredecessor (const QList< u32 > &gateIds, bool forw, int maxRound) | |
| QSet< Gate * > | result () const |
Definition at line 51 of file common_successor_predecessor.h.
| hal::CommonSuccessorPredecessor::CommonSuccessorPredecessor | ( | const QList< u32 > & | gateIds, |
| bool | forw, | ||
| int | maxRound | ||
| ) |
Definition at line 46 of file common_successor_predecessor.cpp.
References test_plugin::g, hal::Netlist::get_gate_by_id(), hal::gNetlist, log_info, log_warning, hal::CommonSuccessorPredecessorGateQueue::mask(), and QList::size().
Definition at line 84 of file common_successor_predecessor.cpp.
References test_plugin::g, and QSet::insert().