module Ph_util: sig .. end
Process Hitting helpers.
val opt_initial_procs : Ph_types.PSet.t Pervasives.ref
Reference to the process list that should be present in the initial state.
val parse : Pervasives.in_channel -> Ph_types.ph * Ph_types.ctx
Parse a Process Hitting and its initial state from given input channel.
Overwrite the initial state with the processes referenced by opt_initial_procs.
val count_states : Ph_types.ph -> Big_int.big_int
Returns the total number of states of the given Process Hitting.
val count_sorts : Ph_types.ph -> int
Returns the number of sorts in the given Process Hitting.
val count_processes : Ph_types.ph -> int
Returns the number of processes in the given Process Hitting.
val count_actions : Ph_types.ph -> int
Returns the number of actions in the given Process Hitting.
val ph_copy : Ph_types.ph -> Ph_types.ph
Returns a copy of the given Process Hitting.