package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Domain.Init

Initialization state with shortcut states to avoid useless tests on `uninit`

type t =
  1. | Bot
  2. | None
  3. | Full of STypeSet.t
  4. | Partial of STypeSet.t
val bottom : t
val top : t
val print : MopsaLib.printer -> t -> unit
val is_bottom : t -> bool
val subset : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val widen : 'a -> t -> t -> t
val apply : (STypeSet.t -> STypeSet.t) -> t -> t
val add : STypeSet.Set.elt -> t -> t
val remove : styp -> t -> t
val is_partial : t -> bool
val is_full : t -> bool
val is_none : t -> bool
val types : t -> STypeSet.t