package smtml

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

Module Smtzilla_utils.Feature_mapSource

Sourcetype feat =
  1. | Val
  2. | Ptr
  3. | Symbol
  4. | List_expr
  5. | App
  6. | Unop_expr
  7. | Binop_expr
  8. | Triop_expr
  9. | Relop_expr
  10. | Cvtop_expr
  11. | Naryop_expr
  12. | Extract
  13. | Concat
  14. | Binder
  15. | Neg
  16. | Not
  17. | Clz
  18. | Ctz
  19. | Popcnt
  20. | Abs
  21. | Sqrt
  22. | Is_normal
  23. | Is_subnormal
  24. | Is_negative
  25. | Is_positive
  26. | Is_infinite
  27. | Is_nan
  28. | Is_zero
  29. | Ceil
  30. | Floor
  31. | Trunc
  32. | Nearest
  33. | Head
  34. | Tail
  35. | Reverse
  36. | Length
  37. | Trim
  38. | Regexp_star
  39. | Regexp_loop
  40. | Regexp_plus
  41. | Regexp_opt
  42. | Regexp_comp
  43. | Add
  44. | Sub
  45. | Mul
  46. | Div
  47. | DivU
  48. | Rem
  49. | RemU
  50. | Shl
  51. | ShrA
  52. | ShrL
  53. | And
  54. | Or
  55. | Xor
  56. | Implies
  57. | Pow
  58. | Min
  59. | Max
  60. | Copysign
  61. | Rotl
  62. | Rotr
  63. | Ext_rotl
  64. | Ext_rotr
  65. | At
  66. | List_cons
  67. | List_append
  68. | Select
  69. | String_prefix
  70. | String_suffix
  71. | String_contains
  72. | String_last_index
  73. | String_in_re
  74. | Regexp_range
  75. | Regexp_inter
  76. | Regexp_diff
  77. | Mod
  78. | Ite
  79. | List_set
  80. | Store
  81. | String_extract
  82. | String_replace
  83. | String_index
  84. | String_replace_all
  85. | String_replace_re
  86. | String_replace_re_all
  87. | Eq
  88. | Ne
  89. | Lt
  90. | LtU
  91. | Le
  92. | LeU
  93. | ToString
  94. | OfString
  95. | ToBool
  96. | OfBool
  97. | Reinterpret_int
  98. | Reinterpret_float
  99. | DemoteF64
  100. | PromoteF32
  101. | ConvertSI32
  102. | ConvertUI32
  103. | ConvertSI64
  104. | ConvertUI64
  105. | TruncSF32
  106. | TruncUF32
  107. | TruncSF64
  108. | TruncUF64
  109. | Trunc_sat_f32_s
  110. | Trunc_sat_f32_u
  111. | Trunc_sat_f64_s
  112. | Trunc_sat_f64_u
  113. | WrapI64
  114. | Sign_extend
  115. | Zero_extend
  116. | String_to_code
  117. | String_from_code
  118. | String_to_int
  119. | String_from_int
  120. | String_to_float
  121. | String_to_re
  122. | Logand
  123. | Logor
  124. | Regexp_union
  125. | Distinct
  126. | Ty_app
  127. | Ty_array
  128. | Ty_bitv
  129. | Ty_bool
  130. | Ty_fp
  131. | Ty_int
  132. | Ty_list
  133. | Ty_none
  134. | Ty_real
  135. | Ty_str
  136. | Ty_unit
  137. | Ty_regexp
  138. | Ty_roundingMode
  139. | Depth
  140. | Max_depth
  141. | Time
  142. | Nb_queries
  143. | Mean_depth
Sourcetype t
Sourceval empty : t
Sourceval union : t -> t -> t
Sourceval incr_feat : feat -> t -> t
Sourceval get_feat : feat -> t -> int
Sourceval add_time : int -> t -> t
Sourceval add_depth : int -> t -> t
Sourceval get_depth : t -> int
Sourceval add_nb_queries : int -> t -> t
Sourceval add_mean_depth : int -> t -> t
Sourceval rename_depth_to_max_depth : t -> t
Sourceval feat_to_string : feat -> string
Sourceval feat_of_string : string -> feat