Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File doc/godi-cil/html/api/Dataflow.ForwardsDataFlow.html GODI Package godi-cil
 
   Dataflow.ForwardsDataFlow.html    Sources  
 Up  Next

Functor Dataflow.ForwardsDataFlow


module ForwardsDataFlow:
functor (T : ForwardsTransfer) -> sig .. end
Parameters:
T : ForwardsTransfer 
val compute : Cil.stmt list -> unit
Fill in the T.stmtStartData, given a number of initial statements to start from. All of the initial statements must have some entry in T.stmtStartData (i.e., the initial data should not be bottom)
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml