package goblint
Static analysis framework for C
Install
dune-project
Dependency
Authors
Maintainers
Sources
goblint-2.4.0.tbz
sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6
sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af
doc/goblint.lib/Goblint_lib/Control/AnalyzeCFG/Result/index.html
Module AnalyzeCFG.Result
type key = MyCFG.nodeval create : int -> 'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval length : 'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t -> intval is_empty :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
boolval clear : 'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t -> unitval reset : 'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t -> unitval add :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
'a ->
unitval remove :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
unitval remove_all :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
unitval find :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
'aval find_all :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
'a listval find_default :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
'a ->
'aval find_option :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
'a optionval find_opt :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
'a optionval replace :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
'a ->
unitval mem :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key ->
boolval iter :
(key -> 'a -> unit) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval for_all :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
boolval fold :
(key -> 'a -> 'b -> 'b) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'b ->
'bval exists :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
boolval map :
(key -> 'b -> 'c) ->
'b Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval map_inplace :
(key -> 'a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval filter :
('a -> bool) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval filter_inplace :
('a -> bool) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval filteri :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval filteri_inplace :
(key -> 'a -> bool) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval filter_map :
(key -> 'a -> 'b option) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval filter_map_inplace :
(key -> 'a -> 'a option) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval modify :
key ->
('a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval modify_def :
'a ->
key ->
('a -> 'a) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval modify_opt :
key ->
('a option -> 'a option) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval merge :
(key -> 'a option -> 'b option -> 'c option) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval merge_all :
(key -> 'a list -> 'b list -> 'c list) ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'b Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'c Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval stats :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
BatHashtbl.statisticsval to_seq :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
(key * 'a) Seq.tval to_seq_keys :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key Seq.tval to_seq_values :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'a Seq.tval add_seq :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
(key * 'a) Seq.t ->
unitval replace_seq :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
(key * 'a) Seq.t ->
unitval of_seq :
(key * 'a) Seq.t ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval keys :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
key BatEnum.tval values :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
'a BatEnum.tval enum :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
(key * 'a) BatEnum.tval to_list :
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
(key * 'a) listval of_enum :
(key * 'a) BatEnum.t ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval of_list :
(key * 'a) list ->
'a Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval print :
?first:string ->
?last:string ->
?sep:string ->
('a BatInnerIO.output -> key -> unit) ->
('a BatInnerIO.output -> 'b -> unit) ->
'a BatInnerIO.output ->
'b Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitmodule Exceptionless : sig ... endmodule Infix : sig ... endmodule Labels : sig ... endtype nonrec t = LT.t Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).tval pretty :
unit ->
LT.t Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
GoblintCil.Pretty.docval printXml :
'a BatInnerIO.output ->
LT.t Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval printJson :
'a BatInnerIO.output ->
LT.t Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t ->
unitval printXmlWarning : 'a BatInnerIO.output -> unit -> unitval output :
LT.t Hashtbl.Make(Goblint_lib__AnalysisResult.ResultNode).t Lazy.t ->
'a ->
(unit BatIO.output -> 'a -> 'b) ->
GoblintCil.file ->
unit