#include "tket/Transformations/CliffordOptimisation.hpp"#include <vector>#include "tket/Circuit/CircPool.hpp"#include "tket/Circuit/Circuit.hpp"#include "tket/Circuit/DAGDefs.hpp"#include "tket/Clifford/UnitaryTableau.hpp"#include "tket/Converters/Converters.hpp"#include "tket/Diagonalisation/Diagonalisation.hpp"#include "tket/Ops/ClassicalOps.hpp"#include "tket/Transformations/BasicOptimisation.hpp"#include "tket/Transformations/Decomposition.hpp"#include "tket/Transformations/Transform.hpp"#include "tket/Utils/PauliTensor.hpp"#include "tket/Utils/UnitID.hpp"
Include dependency graph for CliffordOptimisation.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | tket |
| Defines tket::DeviceCharacterisation, used in NoiseAwarePlacement and in commute_SQ_gates_through_SWAPS as a simple device noise model. | |
| namespace | tket::Transforms |
Functions | |
| Transform | tket::Transforms::multiq_clifford_replacement (bool allow_swaps) |
| Transform | tket::Transforms::copy_pi_through_CX () |
| Transform | tket::Transforms::singleq_clifford_sweep () |
| Apply some of the Clifford rules in the paper "Optimising Clifford Circuits
with Quantomatic". | |
| std::pair< VertexSet, std::vector< MeasureVertices > > | tket::Transforms::get_end_of_circuit_clifford (const Circuit &circ) |
| Transform | tket::Transforms::push_cliffords_through_measures () |
