Files | |
| file | bdd_synthesis.hpp |
| BDD Based Synthesis. | |
| file | dd_synthesis_p.hpp |
| file | embed_truth_table.hpp |
| Embedding of an irreversible specification. | |
| file | esop_synthesis.hpp |
| ESOP Based Synthesis. | |
| file | exact_synthesis.hpp |
| Exact Synthesis of Reversible Networks. | |
| file | kfdd_synthesis.hpp |
| KFDD Based Synthesis. | |
| file | quantum_decomposition.hpp |
| Quantum Decomposition of Reversible Circuits. | |
| file | reed_muller_synthesis.hpp |
| Synthesis algorithm based on Reed Muller Spectra. | |
| file | swop.hpp |
| SWOP - Synthesis With Output Permutation. | |
| file | synthesis.hpp |
| General Synthesis type definitions. | |
| file | synthesis_utils_p.hpp |
| file | transformation_based_synthesis.hpp |
| Transformation Based Synthesis. | |
| file | transposition_based_synthesis.hpp |
| A simple synthesis algorithm based on transpositions. | |
1.8.3.1