contains the class Monomial and further functions to manipulate monomials More...
Go to the source code of this file.
Classes | |
class | Monomial |
Functions | |
Monomial * | multiply_monomial (const Monomial *m1, const Monomial *m2) |
void | deallocate_monomial (Monomial *m) |
contains the class Monomial and further functions to manipulate monomials
Part of AMulet2.0 : AIG Multiplier Verification Tool. Copyright (C) 2020 Daniela Kaufmann, Johannes Kepler University Linz
void deallocate_monomial | ( | Monomial * | m | ) |
Wrapper for deconstructor, reduces the references of m until 0. Then deconstructor is called.
m | Monomial* |