Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File doc/godi-cil/html/api/type_Dataflow.BackwardsDataFlow.html GODI Package godi-cil
 
   type_Dataflow.BackwardsDataFlow.html  
functor (T : BackwardsTransfer) ->
  sig val compute : Cil.stmt list -> unit end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml