Value (p.mopsa.1.0.doc.intervals.Intervals.Float.Value)

mopsa
- CHANGELOG
- README
- Library abstraction
  - Abstraction
- Library ast
  - Ast
- Library bitfields
  - Bitfields
- Library c
  - C
- Library c_common
  - C_common
- Library c_lang
  - C_lang
- Library cfg
  - Cfg
- Library combiner
  - Combiner
- Library combiners
  - Combiners
- Library combiners_common
  - Combiners_common
- Library config
  - Config
- Library congUtils
  - CongUtils
- Library containers
  - Containers
- Library core
  - Core
- Library cpython
  - Cpython
- Library domain
  - Domain
- Library engines
  - Engines
- Library framework
  - Framework
- Library heap
  - Heap
- Library hooks
  - Hooks
- Library interactive
  - Interactive
- Library intervals
  - Intervals
    - Float
      - I
      - FI
      - II
      - SimplifiedValue
      - Value
        V
    - Integer
- Library itvUtils
  - ItvUtils
- Library lang
  - Lang
- Library lattices
  - Lattices
- Library mopsa
  - Mopsa
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_analzyer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library numeric_common
  - Numeric_common
- Library numeric_reductions
  - Numeric_reductions
- Library numeric_values
  - Numeric_values
- Library output
  - Output
- Library params
  - Params
- Library parsing
  - Parsing
- Library passes
  - Passes
- Library powersets
  - Powersets
- Library python
  - Python
- Library python_lang
  - Python_lang
- Library reduction
  - Reduction
- Library relational
  - Relational
- Library repl
  - Repl
- Library sig
  - Sig
- Library stubs
  - Stubs
- Library toplevel
  - Toplevel
- Library universal
  - Universal
- Library universal_interproc
  - Universal_interproc
- Library universal_iterators
  - Universal_iterators
- Library universal_numeric
  - Universal_numeric
- Library utils_core
  - Utils_core
- Library value
  - Value
- Sources

module V : sig ... end

include module type of struct include SimplifiedValue end

include sig ... end

val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Lattice operations

Sourceval top_of_prec : Lang.Ast.float_prec -> I.t

Sourceval prec_level : Lang.Ast.float_prec -> int

Sourceval filter_class : I.t -> Lang.Ast.float_class -> I.t

Arithmetic operators

Sourceval constant : Mopsa.constant -> Mopsa.typ -> I.t

Sourceval unop : Mopsa.operator -> Mopsa.typ -> I.t -> Mopsa.typ -> I.t

Sourceval binop : Mopsa.operator -> 'a -> I.t -> 'b -> I.t -> Mopsa.typ -> I.t

Source

val backward_unop : 
  Mopsa.operator ->
  Mopsa.typ ->
  I.t ->
  Mopsa.typ ->
  I.t ->
  I.t

Source

val backward_binop : 
  Mopsa.operator ->
  Core.All.typ ->
  I.t ->
  Core.All.typ ->
  I.t ->
  Mopsa.typ ->
  I.t ->
  I.t * I.t

include module type of struct include V end

type t = SimplifiedValue.t

val id : t Core.All.id

val accept_type : Core.All.typ -> bool

val name : string

val display : string

val bottom : t

val top : t

val is_bottom : t -> bool

val subset : t -> t -> bool

val join : t -> t -> t

val meet : t -> t -> t

val widen : 'a Core.All.ctx -> t -> t -> t

val avalue : 'r Core.All.avalue_kind -> t -> 'r option

val filter : bool -> Core.All.typ -> t -> t

val compare : 
  ('v, t) Abstraction__Value.value_man ->
  Core.All.operator ->
  bool ->
  Core.All.expr ->
  t ->
  Core.All.expr ->
  t ->
  t * t

val eval_ext : 
  ('v, t) Abstraction__Value.value_man ->
  Core.All.expr ->
  'v option

val compare_ext : 
  ('v, t) Abstraction__Value.value_man ->
  Core.All.operator ->
  bool ->
  Core.All.expr ->
  'v ->
  Core.All.expr ->
  'v ->
  ('v * 'v) option

val ask : 
  ('v, t) Abstraction__Value.value_man ->
  ('a, 'r) Core.All.query ->
  'r option

val print : Core.All.printer -> t -> unit

Source

val cast_from_int : 
  ('a, 'b) Mopsa.Sig.Abstraction.Value.value_man ->
  Lang.Ast.float_prec ->
  Mopsa.expr ->
  I.t

Casts of integers to floats

Sourceval eval : ('a, V.t) Mopsa.Sig.Abstraction.Value.value_man -> Mopsa.expr -> I.t

Evaluation of float expressions

Source

val backward_float_class : 
  'a ->
  Lang.Ast.float_class ->
  Core.All.expr ->
  I.t Mopsa.Sig.Abstraction.Value.vexpr ->
  Numeric_common.Common.int_itv ->
  t Mopsa.Sig.Abstraction.Value.vexpr

Backward evaluation of class predicates

Source

val backward : 
  ('a, t) Mopsa.Sig.Abstraction.Value.value_man ->
  Mopsa.expr ->
  I.t Mopsa.Sig.Abstraction.Value.vexpr ->
  'a ->
  t Mopsa.Sig.Abstraction.Value.vexpr

Source

val backward_ext_cast : 
  ('a, 'b) Mopsa.Sig.Abstraction.Value.value_man ->
  Lang.Ast.float_prec ->
  Mopsa.expr ->
  'a Mopsa.Sig.Abstraction.Value.vexpr ->
  Mopsa.ItvUtils.FloatItvNan.t ->
  'a Mopsa.Sig.Abstraction.Value.vexpr option

Source

val backward_ext : 
  ('a, Mopsa.ItvUtils.FloatItvNan.t) Mopsa.Sig.Abstraction.Value.value_man ->
  Mopsa.expr ->
  'a Mopsa.Sig.Abstraction.Value.vexpr ->
  'a ->
  'a Mopsa.Sig.Abstraction.Value.vexpr option

Extended backward evaluation of mixed-types expressions