Module Biabduction__Paths.PathSet
Set of (prop,path) pairs, where the identity is given by prop
val add_renamed_prop : Biabduction.Prop.normal Biabduction.Prop.t -> Path.t -> t -> tIt's the caller's resposibility to ensure that Prop.prop_rename_primed_footprint_vars was called on the prop
val empty : tempty pathset
val elements : t -> (Biabduction.Prop.normal Biabduction.Prop.t * Path.t) listlist of elements in a pathset
val fold : (Biabduction.Prop.normal Biabduction.Prop.t -> Path.t -> 'a -> 'a) -> t -> 'a -> 'afold over a pathset
val from_renamed_list : (Biabduction.Prop.normal Biabduction.Prop.t * Path.t) list -> tIt's the caller's resposibility to ensure that Prop.prop_rename_primed_footprint_vars was called on the list
val is_empty : t -> boolcheck whether the pathset is empty
val iter : (Biabduction.Prop.normal Biabduction.Prop.t -> Path.t -> unit) -> t -> unititerate over a pathset
val map : (Biabduction.Prop.normal Biabduction.Prop.t -> Biabduction.Prop.normal Biabduction.Prop.t) -> t -> tmap over the prop component of a pathset.
val map_option : (Biabduction.Prop.normal Biabduction.Prop.t -> Biabduction.Prop.normal Biabduction.Prop.t option) -> t -> tmap over the prop component of a pathset using a partial function; elements mapped to None are discarded
val partition : (Biabduction.Prop.normal Biabduction.Prop.t -> bool) -> t -> t * tpartition a pathset on the prop component
val size : t -> intnumber of elements in the pathset
val to_proplist : t -> Biabduction.Prop.normal Biabduction.Prop.t listconvert to a list of props
val to_propset : IR.Tenv.t -> t -> Biabduction.Propset.tconvert to a set of props