Module qip::inverter

source ·
Expand description

Functions and traits for inverting circuits.

Traits

  • Invertable
    An Invertable circuit builder must be able to produce a similar circuit builder with the new_simiar call. This subcircuit builder can be used to make circuits that Self can invert and then apply.
  • RecursiveCircuitBuilder
    A trait which recursively requires that subcircuit builders also implement the traits the original circuit builders implemented. This allows passing to functions which may arbitrarily call other functions without type-tracking the depth of the stack.

Functions

  • inverter
    Invert the circuit made by f. Apply the inverted circuit to registers rs using circuitbuilder cb.
  • inverter_args
    Invert the circuit made by f using arguments t. Apply the inverted circuit to registers rs using circuitbuilder cb.