AMulet 2.0
AIG Multiplier Verification Tool
pac.h
Go to the documentation of this file.
1 /*------------------------------------------------------------------------*/
8 /*------------------------------------------------------------------------*/
9 #ifndef _pac_H
10 #define _pac_H
11 /*------------------------------------------------------------------------*/
12 
13 #include "gate.h"
14 /*------------------------------------------------------------------------*/
20 void print_spec_poly (FILE * file);
21 
27 void print_circuit_poly (FILE * file);
28 
35 void print_pac_del_rule (FILE * file, const Polynomial *p1);
36 
44 void print_pac_mod_rule (FILE * file, const Polynomial *p1, Polynomial *p);
45 
54 void print_pac_add_rule (FILE * file, const Polynomial *p1, const Polynomial *p2, Polynomial *p);
55 
64 void print_pac_mul_rule (FILE * file, const Polynomial *p1, const Polynomial *p2, Polynomial *p);
65 
66 
67 
68 #endif
void print_pac_mul_rule(FILE *file, const Polynomial *p1, const Polynomial *p2, Polynomial *p)
Definition: pac.cpp:111
contains the class Gate and further functions to organize the gate structure, such as initializing th...
void print_pac_add_rule(FILE *file, const Polynomial *p1, const Polynomial *p2, Polynomial *p)
Definition: pac.cpp:96
void print_circuit_poly(FILE *file)
Definition: pac.cpp:55
void print_pac_del_rule(FILE *file, const Polynomial *p1)
Definition: pac.cpp:73
Definition: polynomial.h:23
void print_spec_poly(FILE *file)
Definition: pac.cpp:13
void print_pac_mod_rule(FILE *file, const Polynomial *p1, Polynomial *p)
Definition: pac.cpp:81