Module Location

module Location: sig .. end

This module deals with the locations of the objects.

module Loc: sig .. end

This module deals with the locations of the objects.

module type LSET = ExtSSet.S  
  with type elt = Loc.t

module LSet: LSET

Set of Locations

module LSetRef: sig .. end  
  with type elt = Loc.t

module P: sig .. end

This module represents pointers to locations.

val reset_all : unit -> unit

IMPORTENT: Do use this only for testing! Calls reset of P and Loc. It destroys the invariant that new locations and pointers a unique!

module LSetInEx: LowerUpperNeg.S 
  with type elm = LSet.t

Module that is the image of location set variables.