Module Ts.Make

Parameters

module R : sig ... end

Signature

type t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
type label = R.label
val make : int -> Predicate.t list -> t
val states : t -> (int * Big.t) Base.H_int.t
val label : t -> Predicate.S.t * int Predicate.H.t
val edges : t -> (int * label * Base.S_string.t) Base.H_int.t
val size_s : t -> int
val size_t : t -> int
val add_s : t -> int -> Big.t -> unit
val add_s_with_key : t -> int -> Big.big_key -> Big.t -> unit
val add_t : t -> source:int -> dest:int -> label -> Base.S_string.t -> unit
val add_pred : t -> pred_id:Predicate.t -> state:int -> unit
val preds_of : t -> int -> Predicate.t list
val find_all : t -> Big.t -> (int * Big.t) list
val iter_states : (int -> Big.t -> unit) -> t -> unit
val fold_states : (int -> Big.t -> 'a -> 'a) -> t -> 'a -> 'a
val iter_edges : (int -> int -> label -> Base.S_string.t -> unit) -> t -> unit
val fold_edges : (int -> int -> label -> Base.S_string.t -> 'a -> 'a) -> t -> 'a -> 'a
val to_txt : t -> (label -> string) -> string -> string
val to_dot_edges : t -> (int -> string) -> (string -> Base.S_string.t -> string) -> (label -> string) -> string * string
val to_dot : t -> path:string -> name:string -> (t -> (int -> string) -> (string -> Base.S_string.t -> string) -> string * string) -> string
val to_lab : t -> string
val to_prism : t -> (int -> int -> label -> 'a) -> ('a -> 'a -> int) -> ('a -> string) -> (t -> string) -> ('a -> bool) -> string
val to_state_rewards : t -> string