package goblint

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

Module DefExcDomain.Exclusion

type inc =
  1. | Inc of BISet.t
val max_of_range : R.t -> Z.t
val min_of_range : R.t -> Z.t
val cardinality_of_range : R.t -> Z.t
val cardinality_BISet : BISet.t -> Z.t
val leq_excl_incl : t -> inc -> bool
val leq : t -> t -> bool