AMulet 2.0
AIG Multiplier Verification Tool
substitution_engine.h
Go to the documentation of this file.
1
/*------------------------------------------------------------------------*/
8
/*------------------------------------------------------------------------*/
9
#ifndef _substitution_engine_H
10
#define _substitution_engine_H
11
/*------------------------------------------------------------------------*/
12
#include "
substitution.h
"
13
/*------------------------------------------------------------------------*/
19
void
init_gate_substitution
();
20
29
void
substitution
(
const
char
* out_f1,
const
char
* out_f2);
30
31
32
#endif
init_gate_substitution
void init_gate_substitution()
Definition:
substitution_engine.cpp:11
substitution.h
substitution
void substitution(const char *out_f1, const char *out_f2)
Definition:
substitution_engine.cpp:20
substitution_engine.h
Generated by
1.8.11