synthesisEngine.hpp File Reference

#include <vector>
#include <unordered_set>
#include <unordered_map>
#include <memory>
#include "misc/util/abc_namespaces.h"
#include "aig/miniaig/miniaig.h"
#include "misc/vec/vec.h"
#include "satInterfaces.hpp"
#include "synthesisEngine.tpp"

Include dependency graph for synthesisEngine.hpp:

Go to the source code of this file.

Classes
class	eSLIM::exactSynthesisEngine< Derived >
class	eSLIM::CadicalEngine
class	eSLIM::OneshotEngine
class	eSLIM::OneshotManager< T >
class	eSLIM::CadicalEngineOneShot
class	eSLIM::KissatEngineOneShot
class	eSLIM::KissatCmdEngine

Namespaces
namespace	eSLIM

Macros
#define	MAJ_NOBJS   64

Typedefs
typedef OneshotManager< CadicalEngineOneShot >	eSLIM::CadicalOneShot
typedef OneshotManager< KissatEngineOneShot >	eSLIM::KissatOneShot
typedef OneshotManager< KissatCmdEngine >	eSLIM::KissatCmdOneShot

Macro Definition Documentation

MAJ_NOBJS

#define MAJ_NOBJS   64

CFile****************************************************************

FileName [synthesisEngine.hpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Using Exact Synthesis with the SAT-based Local Improvement Method (eSLIM).]

Synopsis [Procedures for synthesising Boolean relations.]

Author [Franz-Xaver Reichl]

Affiliation [University of Freiburg]

Date [Ver. 1.0. Started - March 2025.]

Revision [

Id

synthesisEngine.hpp,v 1.00 2025/03/17 00:00:00 Exp

]

Definition at line 37 of file synthesisEngine.hpp.