Sasacore.SimuState
The module is used by
type 'v t = {
config : 'v Conf.t;
sasarg : SasArg.t;
network : 'v Process.t list;
neighbors : 'v Register.neighbor list Stdlib.Map.Make(Stdlib.String).t;
}
val make : bool -> string array -> 'v t
type 'v enable_processes =
('v Process.t * 'v Register.neighbor list * Register.action) list list
* bool list list
val get_enable_processes : 'v t -> 'v enable_processes
inject a fault in a configuration using the registered (user) fault function
nb : inject_fault_in_conf uses only the static part of SimuState.t
val neigbors_of_pid :
'v t ->
string ->
'v * ('v Register.neighbor * string) list
Get pid's state and neighbors
val compute_potentiel : 'v t -> float
val legitimate : 'v t -> bool
val to_dot : 'v t -> string