eSLIM::OneshotEngine Class Reference

#include <synthesisEngine.hpp>

Inheritance diagram for eSLIM::OneshotEngine:

Protected Member Functions
int	getAuxilaryVariableCountDerived ()
int	getGateEnablingLiteralImpl (int index, bool negated)
void	addGateDeactivatedConstraint (int idx)

Detailed Description

Definition at line 116 of file synthesisEngine.hpp.

Member Function Documentation

addGateDeactivatedConstraint()

void eSLIM::OneshotEngine::addGateDeactivatedConstraint ( int idx )

inlineprotected

Definition at line 121 of file synthesisEngine.hpp.

{};

getAuxilaryVariableCountDerived()

int eSLIM::OneshotEngine::getAuxilaryVariableCountDerived ( )

inlineprotected

Definition at line 118 of file synthesisEngine.hpp.

{return 0;};

getGateEnablingLiteralImpl()

int eSLIM::OneshotEngine::getGateEnablingLiteralImpl ( int index, bool negated )

inlineprotected

Definition at line 119 of file synthesisEngine.hpp.

{return 0;};

---

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

• src/opt/eslim/synthesisEngine.hpp