HAL
hal::CommonSuccessorPredecessor Class Reference

#include <common_successor_predecessor.h>

Collaboration diagram for hal::CommonSuccessorPredecessor:
Collaboration graph

Public Member Functions

 CommonSuccessorPredecessor (const QList< u32 > &gateIds, bool forw, int maxRound)
 
QSet< Gate * > result () const
 

Detailed Description

Definition at line 51 of file common_successor_predecessor.h.

Constructor & Destructor Documentation

◆ CommonSuccessorPredecessor()

hal::CommonSuccessorPredecessor::CommonSuccessorPredecessor ( const QList< u32 > &  gateIds,
bool  forw,
int  maxRound 
)

Member Function Documentation

◆ result()

QSet< Gate * > hal::CommonSuccessorPredecessor::result ( ) const

Definition at line 84 of file common_successor_predecessor.cpp.

References test_plugin::g, and QSet::insert().


The documentation for this class was generated from the following files: