eSLIM::eSLIM_Man< SynthesisEngine, RelationEngine, SelectionEngine > Class Template Reference

#include <eSLIMMan.hpp>

Static Public Member Functions
static Gia_Man_t *	applyeSLIM (Gia_Man_t *p, const eSLIMConfig &cfg, eSLIMLog &log)

Detailed Description

template<class SynthesisEngine, class RelationEngine, class SelectionEngine>
class eSLIM::eSLIM_Man< SynthesisEngine, RelationEngine, SelectionEngine >

Definition at line 44 of file eSLIMMan.hpp.

Member Function Documentation

applyeSLIM()

template<class SynthesisEngine, class RelationEngine, class SelectionEngine>

static Gia_Man_t * eSLIM::eSLIM_Man< SynthesisEngine, RelationEngine, SelectionEngine >::applyeSLIM ( Gia_Man_t * p, const eSLIMConfig & cfg, eSLIMLog & log )

static

Here is the caller graph for this function:

---

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

• src/opt/eslim/eSLIMMan.hpp