Module Bigraph.Predicate

Predicates as labels for transition systems.

type t

The type of predicates

val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val id : t -> string
val reward : t -> int
val make : string -> int -> t
module S : Base.Set.S with type elt = t

Sets of predicates.

module H : Base.Hashtbl_yojson.S with type key = t

Maps from predicates to state identifiers.