![]() |
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().