DDSimDiagnostics.hpp¶

Contains the implementation of the Diagnostics interface for the DD simulator.

namespace mqt

namespace debugger

struct DDDiagnostics

#include <DDSimDiagnostics.hpp>

The DD-simulator implementation of the Diagnostics interface.

Public Members

std::map<size_t, std::set<size_t>> zeroControls: The qubits that have been marked as zero controls.

std::map<size_t, std::set<size_t>> nonZeroControls: The qubits that have been marked as non-zero controls.

std::map<size_t, std::set<std::vector<size_t>>> actualQubits: The actual qubits that each instruction has targeted.

std::vector<std::pair<size_t, size_t>> assertionsToMove: Assertions that have been identified to be moved in the program.

std::map<size_t, std::set<std::pair<std::set<std::string>, size_t>>> assertionsEntToInsert: The entanglement assertions that have been identified to be added to the program.

std::map<size_t, std::vector<InsertEqualityAssertion>> assertionsEqToInsert: The equality assertions that have been identified to be added to the program.

struct InsertEqualityAssertion

#include <DDSimDiagnostics.hpp>

Represents an equality assertion that should be inserted into the program.

Public Functions

inline bool operator==(const InsertEqualityAssertion &other) const

Check whether two InsertEqualityAssertion instances are equal.

Parameters:: other – The other InsertEqualityAssertion instance to compare with.
Returns:: True if the instances are equal, false otherwise.

Public Members

size_t instructionIndex: The index of the instruction where the assertion should be inserted.

std::vector<Complex> amplitudes: The amplitudes that the assertion should check for equality.