gillian » Gillian » Utils » Generators

Module Utils.Generators

val fresh_loc : unit -> string

Generates a literal location name

val fresh_pvar : unit -> string

Generates a program variable name

val fresh_lvar : unit -> string

Generates a logical variable name

val fresh_svar : unit -> string

Generates a logical variable name (for bi-abduction)

val reset : unit -> unit

Resets all generators