eSLIM::OneshotManager< T > Class Template Reference

#include <synthesisEngine.hpp>

Public Member Functions
	OneshotManager (Vec_Wrd_t *vSimsIn, Vec_Wrd_t *vSimsOut, int nIns, int nDivs, int nOuts, int maxnNodes, const std::unordered_map< int, std::unordered_set< int > > &forbidden_pairs, eSLIMLog &log, const eSLIMConfig &cfg)
Mini_Aig_t *	getCircuit (int size, double timeout)

Detailed Description

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

Definition at line 125 of file synthesisEngine.hpp.

Constructor & Destructor Documentation

OneshotManager()

template<typename T>

eSLIM::OneshotManager< T >::OneshotManager	(	Vec_Wrd_t *	vSimsIn,
		Vec_Wrd_t *	vSimsOut,
		int	nIns,
		int	nDivs,
		int	nOuts,
		int	maxnNodes,
		const std::unordered_map< int, std::unordered_set< int > > &	forbidden_pairs,
		eSLIMLog &	log,
		const eSLIMConfig &	cfg )

Member Function Documentation

getCircuit()

template<typename T>

Mini_Aig_t * eSLIM::OneshotManager< T >::getCircuit	(	int	size,
		double	timeout )

---

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

• src/opt/eslim/synthesisEngine.hpp