package voqc

You can search for identifiers within the package.

in-package search v0.2.0

voqc
- Voqc

Legend:
Library
Module
Module type
Parameter
Class
Class type

Standard gate set and related utility functions.

module StandardGateSet : sig ... end

type standard_ucom_l =
  StandardGateSet.coq_Std_Unitary UnitaryListRepresentation.gate_list

val change_gate_set : 
  ('a1 UnitaryListRepresentation.gate_app ->
    'a2 UnitaryListRepresentation.gate_list) ->
  'a1 UnitaryListRepresentation.gate_list ->
  'a2 UnitaryListRepresentation.gate_list

val standard_to_IBM : standard_ucom_l -> IBMGateSet.coq_IBM_ucom_l

val coq_IBM_to_standard : IBMGateSet.coq_IBM_ucom_l -> standard_ucom_l

val standard_to_RzQ : standard_ucom_l -> RzQGateSet.coq_RzQ_ucom_l

val coq_RzQ_to_standard : RzQGateSet.coq_RzQ_ucom_l -> standard_ucom_l

val decompose_to_cnot : standard_ucom_l -> standard_ucom_l

val convert_to_ibm : standard_ucom_l -> standard_ucom_l

val convert_to_rzq : standard_ucom_l -> standard_ucom_l

val replace_rzq : standard_ucom_l -> standard_ucom_l