ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
eSLIM::randomizedBFS< T > Class Template Reference

#include <selectionStrategy.hpp>

Inheritance diagram for eSLIM::randomizedBFS< T >:
Collaboration diagram for eSLIM::randomizedBFS< T >:

Additional Inherited Members

- Public Member Functions inherited from eSLIM::SelectionStrategy< T >
Subcircuit getSubcircuit ()
 
bool getStatus ()
 
void setSeed (int seed)
 
- Protected Member Functions inherited from eSLIM::SelectionStrategy< T >
 SelectionStrategy (Gia_Man_t *&gia_man, const eSLIMConfig &cfg, eSLIMLog &log)
 
unsigned int getUniformRandomNumber (unsigned int lower, unsigned int upper)
 
bool getRandomBool ()
 
int getSubcircuitIO (Vec_Int_t *subcircuit, Vec_Int_t *io)
 
std::unordered_map< int, std::unordered_set< int > > computeForbiddenPairs (const Subcircuit &subcir)
 
- Protected Attributes inherited from eSLIM::SelectionStrategy< T >
Gia_Man_t *& gia_man
 
const eSLIMConfigcfg
 
eSLIMLoglog
 

Detailed Description

template<typename T>
class eSLIM::randomizedBFS< T >

Definition at line 71 of file selectionStrategy.hpp.


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