eSLIM::KissatCmdEngine Class Reference

#include <synthesisEngine.hpp>

Inheritance diagram for eSLIM::KissatCmdEngine:

Collaboration diagram for eSLIM::KissatCmdEngine:

Public Member Functions
	KissatCmdEngine (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)

Additional Inherited Members
Protected Member Functions inherited from eSLIM::OneshotEngine
int	getAuxilaryVariableCountDerived ()
int	getGateEnablingLiteralImpl (int index, bool negated)
void	addGateDeactivatedConstraint (int idx)

Detailed Description

Definition at line 183 of file synthesisEngine.hpp.

Constructor & Destructor Documentation

KissatCmdEngine()

eSLIM::KissatCmdEngine::KissatCmdEngine	(	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::KissatCmdEngine::getCircuit	(	int	size,
		double	timeout )

---

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

• src/opt/eslim/synthesisEngine.hpp