Voqc.ConnectivityGraph.LNN · voqc 0.3.0

A verified optimizer for quantum circuits (VOQC)

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library voqc

Module Voqc . ConnectivityGraph . LNN

val is_in_graph : int -> int -> int -> bool

val move_left : int -> int -> int list *

val move_left : int -> int -> int list

val move_right : int -> int -> int list *

val move_right : int -> int -> int list

val get_path : int -> int -> int list *

val get_path : int -> int -> int list

val get_nearby : int -> int -> int list *

val get_nearby : int -> int -> int list

val q_ordering : int -> int option -> int list *

val q_ordering : int -> int option -> int list