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 /*------------------------------------------------------------------------*/
20 
29 void substitution(const char * out_f1, const char * out_f2);
30 
31 
32 #endif
void init_gate_substitution()
Definition: substitution_engine.cpp:11
void substitution(const char *out_f1, const char *out_f2)
Definition: substitution_engine.cpp:20