eSLIM::CadicalEngine Class Reference

#include <synthesisEngine.hpp>

Inheritance diagram for eSLIM::CadicalEngine:

Collaboration diagram for eSLIM::CadicalEngine:

Public Member Functions
	CadicalEngine (Vec_Wrd_t *vSimsIn, Vec_Wrd_t *vSimsOut, int nIns, int nDivs, int nOuts, int nNodes, 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

Definition at line 91 of file synthesisEngine.hpp.

Constructor & Destructor Documentation

CadicalEngine()

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

Member Function Documentation

getCircuit()

Mini_Aig_t * eSLIM::CadicalEngine::getCircuit	(	int	size,
		double	timeout )

---

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

• src/opt/eslim/synthesisEngine.hpp