ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
eSLIM::randomizedBFSnoFP Class Reference

#include <selectionStrategy.hpp>

Inheritance diagram for eSLIM::randomizedBFSnoFP:
Collaboration diagram for eSLIM::randomizedBFSnoFP:

Public Member Functions

 randomizedBFSnoFP (Gia_Man_t *&gia_man, const eSLIMConfig &cfg, eSLIMLog &log)
 
- Public Member Functions inherited from eSLIM::SelectionStrategy< randomizedBFSnoFP >
Subcircuit getSubcircuit ()
 
bool getStatus ()
 
void setSeed (int seed)
 

Additional Inherited Members

- Protected Member Functions inherited from eSLIM::SelectionStrategy< randomizedBFSnoFP >
 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< randomizedBFSnoFP >
Gia_Man_t *& gia_man
 
const eSLIMConfigcfg
 
eSLIMLoglog
 

Detailed Description

Definition at line 93 of file selectionStrategy.hpp.

Constructor & Destructor Documentation

◆ randomizedBFSnoFP()

eSLIM::randomizedBFSnoFP::randomizedBFSnoFP ( Gia_Man_t *& gia_man,
const eSLIMConfig & cfg,
eSLIMLog & log )
inline

Definition at line 141 of file selectionStrategy.hpp.

Here is the call graph for this function:
Here is the caller graph for this function:

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