Module Register


module Register: sig .. end
This visitor also performs a deep copy.

Nothing is exported here Functions are registered in Db.


exception Cannot_expand
class propagate : Project.t -> Cilutil.StringSet.t -> cast_intro:bool -> object .. end
This visitor also performs a deep copy.
module Result: Computation.Hashtbl(sig
type t = Cilutil.StringSet.t * bool 
val hash : 'a -> int
val equal : Cilutil.StringSet.t * 'a -> Cilutil.StringSet.t * 'a -> bool
end)(Datatype.Project)(sig
val size : int
val name : string
val dependencies : Project.Computation.t list
end)
val journalized_get : Cilutil.StringSet.t -> bool -> Result.data
val get : Cilutil.StringSet.t -> cast_intro:bool -> Result.data

Constant Propagation
val compute : unit -> unit
val main : unit -> unit