Frama-C:
Plug-ins:
Libraries:

Frama-C API - Make

Parameters

Signature

type t
val empty : unit -> t

Creates an empty index.

val add : Domain.t -> t -> bool

Adds a state into an index. Returns true if the state did not belong to the index (and has indeed been added), and false if the index already contained the state.

val pretty : Stdlib.Format.formatter -> t -> unit