10
0
mirror of https://github.com/LCPQ/quantum_package synced 2024-11-18 12:03:57 +01:00
quantum_package/ocaml/MO_class.ml

47 lines
1.2 KiB
OCaml

open Core.Std;;
open Qptypes ;;
type t =
| Core of MO_number.t list
| Inactive of MO_number.t list
| Active of MO_number.t list
| Virtual of MO_number.t list
| Deleted of MO_number.t list
with sexp
let to_string x =
let print_list l =
let s = List.map ~f:(fun x-> MO_number.to_int x |> string_of_int )l
|> (String.concat ~sep:", ")
in
"("^s^")"
in
match x with
| Core l -> "Core : "^(print_list l)
| Inactive l -> "Inactive : "^(print_list l)
| Active l -> "Active : "^(print_list l)
| Virtual l -> "Virtual : "^(print_list l)
| Deleted l -> "Deleted : "^(print_list l)
;;
let _mo_number_list_of_range range =
Range.of_string range |> List.map ~f:MO_number.of_int
;;
let create_core range = Core (_mo_number_list_of_range range) ;;
let create_inactive range = Inactive (_mo_number_list_of_range range) ;;
let create_active range = Active (_mo_number_list_of_range range) ;;
let create_virtual range = Virtual (_mo_number_list_of_range range) ;;
let create_deleted range = Deleted (_mo_number_list_of_range range) ;;
let to_bitlist n_int x =
match x with
| Core l
| Inactive l
| Active l
| Virtual l
| Deleted l -> Bitlist.of_mo_number_list n_int l
;;